You need to sign in or sign up before continuing.
Fix priority of `Permutation_app'`.
This is a workaround for https://github.com/coq/coq/issues/14571
This fixes #114 (closed).
This fixes a regression caused by !270 (merged).
This is a workaround for https://github.com/coq/coq/issues/14571
This fixes #114 (closed).
This fixes a regression caused by !270 (merged).