We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
f7a0d4b
Updated the section on finite dependent types to take into account "Finite Sets in Homotopy Type Theory".
