Def Mathlib.Tactic.AtomM.recurse

Modification history

2026-02-03 15:41
Mathlib/Util/AtomM/Recurse.lean
fix(FieldSimp): `declaration has free variables` kernel errors (#32403) …
Modified Mathlib.Tactic.AtomM.recurseView on Github →
2025-08-13 21:56
Mathlib/Util/AtomM/Recurse.lean
chore: deduplicate "recursively on atoms" code (#27649) …
Added Mathlib.Tactic.AtomM.recurseView on Github →