HERMIT.Dictionary.Induction
Induction
inductionCaseSplit