Def SSet.RelativeMorphism.const

Modification history

2025-12-12 09:27

Mathlib/AlgebraicTopology/SimplicialSet/RelativeMorphism.lean

feat(AlgebraicTopology): relative morphisms of simplicial sets (#32345) …

Added SSet.RelativeMorphism.const View on Github →