Theorem StrictAnti.prod_map

Modification history

2025-02-18 13:54

Mathlib/Order/Monotone/Basic.lean

chore(Order/Monotone): split `Basic.lean` into `Basic.lean` and `Defs.lean` (#22004) …

Modified StrictAnti.prod_map View on Github →

2022-11-18 09:07

Mathlib/Order/Monotone.lean

feat: port Order.Monotone (#591) …

Added StrictAnti.prod_map View on Github →