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