Theorem transitive_gt

Modification history

2025-12-02 14:25

Mathlib/Order/RelClasses.lean

chore(Order/RelClasses): use `@[to_dual]` (#32090) …

Deleted transitive_gt View on Github →

2022-11-18 03:37

Mathlib/Order/RelClasses.lean

feat: port Order.RelClasses (#560) …

Added transitive_gt View on Github →