Have implicit arguments with "Asymmetric Patterns"#21947

coqbot-app[bot] merged 2 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

proux01:asymmetric-patterns-no-implicitsproux01/rocq:asymmetric-patterns-no-implicitsCopy head branch name to clipboard