Def Mathlib.Tactic.Algebra.RingCompute.mul

Modification history

2026-04-16 17:52

Mathlib/Tactic/Algebra/Basic.lean

feat(Tactic): `algebra` tactic. (#31508) …

Added Mathlib.Tactic.Algebra.RingCompute.mul View on Github →