Diff — Mathematical induction

Revision #3086 → #3550 · back to history

No annotation changes between these revisions.