Loading suc N = suc M implies N = M? Prove it about finite sets!
Beta
Loading suc N = suc M implies N = M? Prove it about finite sets!
Beta
suc N = suc M implies N = M? Prove it about finite sets!
-
Language
- Agda (Beta)
-
Language Version
