Index
deduction | TypeLevel.NaturalNumber.Induction |
deduction2 | TypeLevel.NaturalNumber.Induction |
deduction2M | TypeLevel.NaturalNumber.Induction |
deductionM | TypeLevel.NaturalNumber.Induction |
Induction | TypeLevel.NaturalNumber.Induction |
induction | TypeLevel.NaturalNumber.Induction |
inductionM | TypeLevel.NaturalNumber.Induction |
inductionMOnLeftFold | TypeLevel.NaturalNumber.Induction |
inductionMOnRightFold | TypeLevel.NaturalNumber.Induction |
inductionOnLeftFold | TypeLevel.NaturalNumber.Induction |
inductionOnRightFold | TypeLevel.NaturalNumber.Induction |
transform | TypeLevel.NaturalNumber.Induction |
transformM | TypeLevel.NaturalNumber.Induction |