Def OrderHom.uliftMap

Modification history

2024-12-12 11:32
Mathlib/Order/Hom/Basic.lean
feat(AlgebraicTopology): define the simplicial nerve of a simplicial category (#19837) …
Added OrderHom.uliftMapView on Github →