mathlib3
103c1ffa - feat(data/(d)finsupp): (d)finsupp.update (#9015)

Commit

4 years ago

feat(data/(d)finsupp): (d)finsupp.update (#9015) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents