Loading Multiplication by 0 in all Rings
Beta
Loading Multiplication by 0 in all Rings
Beta
Multiplication by 0 in all Rings
-
Language
- Coq
-
Language Version
Loading description...
Mathematics
Theorem Proving