Skip to content

Well-founded recursion without infinity #7874

Well-founded recursion without infinity

Well-founded recursion without infinity #7874