Dependencies for type-level-natural-number-induction-1.0

library