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

nat_lit_mul_eq_nsmul

Mathlib.Tactic.NoncommRing

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

← MathLib Explorer