mathlib
ba5594a6 - feat(data/dfinsupp): Add missing to_additive lemmas (#4788)

Commit

5 years ago

feat(data/dfinsupp): Add missing to_additive lemmas (#4788)

References

#4925 - Make prime-avoidance branch build

Author

eric-wieser

eric-wieser

Parents

Loading