Def Mathlib.Tactic.Algebra.cleanupSMul

Modification history

2026-06-25 15:06
Mathlib/Tactic/Algebra/AlgebraNF.lean
feat(Tactic): `polynomial(_nf)` tactics (#31513) …
Modified Mathlib.Tactic.Algebra.cleanupSMulView on Github →
2026-04-16 17:52
Mathlib/Tactic/Algebra/Basic.lean
feat(Tactic): `algebra` tactic. (#31508) …
Added Mathlib.Tactic.Algebra.cleanupSMulView on Github →