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

precomp_mk

Mathlib.AlgebraicTopology.ModelCategory.RightHomotopy

URI: https://scilib.ai/kg/mathlib#HomotopicalAlgebra.RightHomotopyClass.precomp_mk

← MathLib Explorer