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.