mathlib3
25ea4998 - feat(data/multiset/basic): subsingleton_equiv_apply' (#6400)

Commit

5 years ago

feat(data/multiset/basic): subsingleton_equiv_apply' (#6400)

Author

gebner

gebner

Parents

Loading