History: Mathematical induction

Source of version: 4 (current)