∫ Утверждение Mathlib
Mathlib.Tactic.ToAdditive.Frontend
URI: https://scilib.ai/kg/mathlib#ToAdditive.changeNumeral
← MathLib Explorer