Mathlib Changelog
v4
Changelog
About
Github
Theorem
trans_trichotomous_left
Modification history
2024-10-31 09:16
Mathlib/Order/RelClasses.lean
chore(Order/InitialSeg): private / delete inner workings (#17609) …
Modified
trans_trichotomous_left
View on Github →
2022-11-18 03:37
Mathlib/Order/RelClasses.lean
feat: port Order.RelClasses (#560) …
Added
trans_trichotomous_left
View on Github →