Skip to main content

All Questions

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: ...
tinlyx's user avatar
  • 2,220