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

fibration_iff

Mathlib.AlgebraicTopology.SimplicialSet.CategoryWithFibrations

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

← MathLib Explorer