Theorem denselyOrdered_iff_of_orderIsoClass

Modification history

2024-09-06 16:27
Mathlib/Order/Hom/Basic.lean
feat(Order/Hom): `denselyOrdered_iff_of_orderIsoClass` (#16427) …
Added denselyOrdered_iff_of_orderIsoClassView on Github →