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

cast_simplex_rfl

Mathlib.AlgebraicTopology.SimplicialSet.Simplices

URI: https://scilib.ai/kg/mathlib#SSet.S.cast_simplex_rfl

← MathLib Explorer