Def SimplexCategory.const

Modification history

2024-03-16 16:28

Mathlib/AlgebraicTopology/SimplexCategory.lean

chore: prevent API leakage on SimplexCategory (#11395) …

Modified SimplexCategory.const View on Github →

2023-04-06 10:57

Mathlib/AlgebraicTopology/SimplexCategory.lean

feat: port AlgebraicTopology.SimplexCategory (#3286)

Added SimplexCategory.const View on Github →