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.
feat: add relation between subset and + for multisets (#17345)
Naming convention and argument explicitness follows the Set.subset_union_** lemmas.