Def Mathlib.Tactic.MkIff.constrToProp

Modification history