Assertion: class's function | /r/HasProperty | equal
Facets:
Source sentences:
text: Intensional equality Under intensional equality, two functions f and g are considered equal if they have the same "internal structure".