Theorem Equivalence.symmetric
Modification history
2024-09-16 02:13
Mathlib/Init/Logic.lean
chore: final cleanup of `Mathlib.Init` (#16796) …
Modified Equivalence.symmetricView on Github →2024-09-14 05:31
Mathlib/Init/Logic.lean
chore: tidy/move/deprecate `Init.Logic` and `IsSymmOp` more (#16757) …
Modified Equivalence.symmetricView on Github →