Structure SimplexCategory

Modification history

2026-04-07 17:30

Mathlib/AlgebraicTopology/SimplexCategory/Defs.lean

chore(AlgebraicTopology): making SimplexCategory a one-field structure (#37734)

Added SimplexCategory View on Github →