Def SimplexCategory

Modification history

2025-02-14 08:16

Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean

chore(AlgebraicTopology): split SimplexCategory.lean (#21625) …

Modified SimplexCategory View on Github →

2023-04-06 10:57

Mathlib/AlgebraicTopology/SimplexCategory.lean

feat: port AlgebraicTopology.SimplexCategory (#3286)

Added SimplexCategory View on Github →