Def RelIso.subrelUnivIso

Modification history

2025-10-23 14:48
Mathlib/Order/RelIso/Set.lean
feat(Order/WellFoundedSet): `partiallyWellOrderedOn_univ_iff` and `Pi.wellQuasiOrderedLE` (#30275) …
Added RelIso.subrelUnivIsoView on Github →