Theorem Equivalence.transitive
Modification history
2024-09-16 02:13
Mathlib/Init/Logic.lean
chore: final cleanup of `Mathlib.Init` (#16796) …
Modified Equivalence.transitiveView on Github →2024-09-14 05:31
Mathlib/Init/Logic.lean
chore: tidy/move/deprecate `Init.Logic` and `IsSymmOp` more (#16757) …
Modified Equivalence.transitiveView on Github →2024-03-15 08:34
Mathlib/Init/Logic.lean
chore: tidy various files (#11135)
Modified Equivalence.transitiveView on Github →