Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level#122

spitters merged 1 commit intorocq-community:masterrocq-community/math-classes:masterfrom

herbelin:master+adapting-coq-pr17832-choice-stronger-precedence-rewstrategyherbelin/math-classes:master+adapting-coq-pr17832-choice-stronger-precedence-rewstrategyCopy head branch name to clipboard