Theorem OrderIso.image_preimage

Modification history

2026-04-29 14:58

Mathlib/Order/Hom/Set.lean

chore(*): remove unnecessary parentheses around `''` and `⁻¹'` (#38626) …

Modified OrderIso.image_preimage View on Github →

2022-12-15 21:39

Mathlib/Order/Hom/Set.lean

feat: port Order.Hom.Set (#1059) …

Added OrderIso.image_preimage View on Github →