mathlib

aadf7c35 - Move induction.lean to induction/default.lean