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

cofibrations_eq

Mathlib.AlgebraicTopology.SimplicialSet.CategoryWithFibrations

URI: https://scilib.ai/kg/mathlib#SSet.modelCategoryQuillen.cofibrations_eq

← MathLib Explorer