mathlib
fde3d78c - chore(multiset): dedicated notation for multiset.cons (#4600)

Commit

5 years ago

chore(multiset): dedicated notation for multiset.cons (#4600)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading