Loading Every symmetric transitive relation is reflexive... right?
8 kyu
Loading Every symmetric transitive relation is reflexive... right?
8 kyu
Every symmetric transitive relation is reflexive... right?
69 of 123b-mehta
-
Language
- Coq
- Lean
-
Language Version
