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

id_F

Mathlib.AlgebraicTopology.SimplicialObject.Split

URI: https://scilib.ai/kg/mathlib#SimplicialObject.Split.id_F

← MathLib Explorer