Def Mathlib.Notation3.matchForall

Modification history