Revision as of 19:59, 25 September 2016 edit Cic (talk \| contribs) Extended confirmed users 1,270 edits m Formatting ← Previous edit	Revision as of 18:23, 26 September 2016 edit undo Cic (talk \| contribs) Extended confirmed users 1,270 edits m Cic moved page Induction-recursion (type theory) to Induction-recursion: No collision Next edit →
(No difference)

Induction-recursion: Difference between revisions