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

starCenterIsoCentroid_symm_apply_coe

Mathlib.Algebra.Star.CentroidHom

URI: https://scilib.ai/kg/mathlib#CentroidHom.starCenterIsoCentroid_symm_apply_coe

← MathLib Explorer