Theorem gt_of_ge_of_gt

Modification history

2024-11-26 10:41

Mathlib/Order/Defs.lean

chore: split Order.Defs (#19498)

Modified gt_of_ge_of_gt View on Github →

2024-08-22 12:56

Mathlib/Order/Defs.lean

chore(Order/Defs): Cleanup (#16059)

Modified gt_of_ge_of_gt View on Github →

2021-07-02 18:11

Mathlib/Algebra/Order.lean

feat (Algebra): port init.algebra.order (#18) …

Added gt_of_ge_of_gt View on Github →