Theorem OrderIso.map_sSup_eq_sSup_symm_preimage

Modification history

2024-01-26 19:09
Mathlib/Order/CompleteLattice.lean
feat: Add lattice lemmas about `Sub{group,monoid}.{op,unop}` (#9860) …
Added OrderIso.map_sSup_eq_sSup_symm_preimageView on Github →