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