diff options
| author | David A. Madore <david+git@madore.org> | 2016-03-14 14:48:35 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-03-14 14:48:35 +0100 |
| commit | db165c9af5c43cab140119b133f5a95ef6f1c1ea (patch) | |
| tree | fe4bcd82bd497611bc16495702aaa6cfb3f25ae7 /plan-mitro206.tex | |
| parent | 6ef5069cfb97f32a1ed9012c9b1f5e2602d2cf23 (diff) | |
| download | mitro206-db165c9af5c43cab140119b133f5a95ef6f1c1ea.tar.gz mitro206-db165c9af5c43cab140119b133f5a95ef6f1c1ea.tar.bz2 mitro206-db165c9af5c43cab140119b133f5a95ef6f1c1ea.zip | |
More about well-founded and non-well-founded inductions.
Diffstat (limited to 'plan-mitro206.tex')
0 files changed, 0 insertions, 0 deletions