Theorem trans_trichotomous_right

Modification history

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