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

mem_trivialCofibrations_iff

Mathlib.AlgebraicTopology.ModelCategory.CategoryWithCofibrations

URI: https://scilib.ai/kg/mathlib#HomotopicalAlgebra.mem_trivialCofibrations_iff

← MathLib Explorer