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

cofibration_iff

Mathlib.AlgebraicTopology.SimplicialSet.CategoryWithFibrations

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

← MathLib Explorer