Theorem map_inv_lt_map_inv_iff

Modification history

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