Def OrderIso.Set.univ

Modification history

2023-09-29 06:57
Mathlib/Order/Hom/Set.lean
chore: exactly 4 spaces in theorems (#7328)
Modified OrderIso.Set.univView on Github →
2022-12-15 21:39
Mathlib/Order/Hom/Set.lean
feat: port Order.Hom.Set (#1059) …
Added OrderIso.Set.univView on Github →