Theorem RelHomClass.map_inf

Modification history

2024-02-05 18:00
Mathlib/Order/RelIso/Set.lean
refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …
Modified RelHomClass.map_infView on Github →
2022-12-14 09:34
Mathlib/Order/RelIso/Set.lean
feat port: Order.RelIso.Set (#1005) …
Added RelHomClass.map_infView on Github →