All Questions
Tagged with agda functional-extensionality
1
question
3
votes
2
answers
232
views
Has extensionality ever caused any problems in a mathematical proof?
I read the following about extensionality in PLFA,
Agda does not presume extensionality, but we can postulate that it
holds:
...