Theorem SimplexCategory.const_comp

Modification history

2024-03-16 16:28
Mathlib/AlgebraicTopology/SimplexCategory.lean
chore: prevent API leakage on SimplexCategory (#11395) …
Modified SimplexCategory.const_compView on Github →
2023-04-06 10:57
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat: port AlgebraicTopology.SimplexCategory (#3286)
Added SimplexCategory.const_compView on Github →