Loading This algebra is commutative!
Draft
Loading This algebra is commutative!
Draft
This algebra is commutative!
-
Language
- Idris (Beta)
-
Language Version
Loading description...
Theorem Proving