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?
59 of 121b-mehta
-
Language
- Coq
- Lean
-
Language Version
