Def Mathlib.Tactic.Polyrith.Poly.add'

Modification history