Commit 2024-10-02 10:44 a33739dc

View on Github →

feat: add relation between subset and + for multisets (#17345) Naming convention and argument explicitness follows the Set.subset_union_** lemmas.

Estimated changes