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

mul_nat_lit_eq_nsmul

Mathlib.Tactic.NoncommRing

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.NoncommRing.mul_nat_lit_eq_nsmul

← MathLib Explorer