We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
6b19c82
Better names in colimits and better labels for Common Logic axioms.
