Theorem StrictMono.orderIsoOfSurjective_self_symm_apply

Modification history

2022-12-15 21:39
Mathlib/Order/Hom/Set.lean
feat: port Order.Hom.Set (#1059) …
Added StrictMono.orderIsoOfSurjective_self_symm_applyView on Github →