∫ Утверждение Mathlib

whiskerLeft_id_star

Mathlib.AlgebraicTopology.SimplexCategory.Augmented.Monoidal

URI: https://scilib.ai/kg/mathlib#AugmentedSimplexCategory.whiskerLeft_id_star

← MathLib Explorer