[ refactor ] generalise inclusion between Propositional permutation, and arbitrary Setoid-based version on same carrier#2709
Open
jamesmckinna wants to merge 1 commit intoagda:masterfrom
Commits
Commits on Apr 24, 2025
- committed
