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

id_star_whiskerRight

Mathlib.AlgebraicTopology.SimplexCategory.Augmented.Monoidal

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

← MathLib Explorer