Theorem Monotone.disjointed_eq

Modification history

2024-02-19 17:38
Mathlib/Order/Disjointed.lean
feat: Boxes in locally finite ordered rings (#10506) …
Deleted Monotone.disjointed_eqView on Github →
2023-01-29 16:50
Mathlib/Order/Disjointed.lean
feat: port Order.Disjointed (#1920)
Added Monotone.disjointed_eqView on Github →