We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents c52a03f + 33357ea commit 45845daCopy full SHA for 45845da
src/Axioms/Extensionality.agda
0 commit comments