Theorem sup_Ioc_disjointed_of_monotone

Modification history

2025-12-21 15:46
Mathlib/Order/Disjointed.lean
feat: Prokhorov theorem (#32701) …
Added sup_Ioc_disjointed_of_monotoneView on Github →