Concept
Functional Extensionality 0
Functional extensionality is like saying two things are the same if they always do the same job. Imagine if two toys always make the same sounds when you press their buttons, then they are the same in this way.
Relevant Degrees