We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
491b18a
Release with Coq 8.14 compatibility that adds support for simplification based on idempotence of commutative operators.
