Def SSet.sk

Modification history

2024-10-09 15:32

Mathlib/AlgebraicTopology/SimplicialSet.lean

feat(AlgebraicTopology/SimplicialSet): SimplicialSet (co)skeleton properties (#16781) …

Deleted SSet.sk View on Github →

2023-04-28 02:53

Mathlib/AlgebraicTopology/SimplicialSet.lean

feat: port AlgebraicTopology.SimplicialSet (#3689)

Added SSet.sk View on Github →