This topic was moved to #Miscellaneous > congruence and intensional type theory by Karl Palmskog.
Last updated: Apr 18 2024 at 07:02 UTC