The Agda Universal Algebra Library (html docs available at the url below)
Creative Commons Attribution Share Alike 4.0 International
28
stars
7
forks
source link
add proof of contradiction in previous ver. + minor notation change #216
Closed
williamdemeo closed 2 years ago
For complete certainty: reviewed, didn't spot anything awry.