Lighten dependencies of Data.Nat.Induction#1698

MatthewDaggitt merged 2 commits intomasteragda/agda-stdlib:masterfrom

induction-dependenciesagda/agda-stdlib:induction-dependenciesCopy head branch name to clipboard