Diff — Mathematical induction

Revision #2131 → #2764 · back to history

No annotation changes between these revisions.