Def Mathlib.Tactic.Algebra.evalCast

Modification history

2026-10-21 15:52
Mathlib/Tactic/Algebra/Basic.lean
chore: whitespace fixes (#45125) …
Modified Mathlib.Tactic.Algebra.evalCastView on Github →
2026-04-16 17:52
Mathlib/Tactic/Algebra/Basic.lean
feat(Tactic): `algebra` tactic. (#31508) …
Added Mathlib.Tactic.Algebra.evalCastView on Github →