Def Mathlib.Tactic.MkIff.mkIffOfInductivePropImpl

Modification history