Def Mathlib.Tactic.MkIff.nCasesProd

Modification history