Diff — Mathematical induction

Revision #1838 → #2131 · back to history

No annotation changes between these revisions.