Def Mathlib.Tactic.AtomM.containsThenAdd

Modification history

2025-12-05 15:16
Mathlib/Util/AtomM.lean
chore(Tactic/Order): use `AtomM` (#31673) …
Added Mathlib.Tactic.AtomM.containsThenAddView on Github →