Def Mathlib.Tactic.AtomM.containsThenAddQ

Modification history

2025-12-05 15:16

Mathlib/Util/AtomM.lean

chore(Tactic/Order): use `AtomM` (#31673) …

Added Mathlib.Tactic.AtomM.containsThenAddQ View on Github →