On quotient types, inductive types and inductive-inductive types:
Created on February 10, 2023 at 08:11:48. See the history of this page for a list of all contributions to it.