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

fibrations_eq

Mathlib.AlgebraicTopology.SimplicialSet.CategoryWithFibrations

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

← MathLib Explorer