Open Mttbnchtt opened 2 months ago
Check whether to add that "is analogous to" is irreflexive and symmetric.
Check the issue with proof Euclid being analogous to itself.
Check whether to add that "is analogous to" is irreflexive and symmetric.
Check the issue with proof Euclid being analogous to itself.