Theorem SimplexCategory.comp_toOrderHom
Modification history
2025-02-14 08:16
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
chore(AlgebraicTopology): split SimplexCategory.lean (#21625) …
Modified SimplexCategory.comp_toOrderHomView on Github →