Def Mathlib.Tactic.MkIff.toInductive

Modification history