mathlib3
80ffad0c - chore(data/dfinsupp): Make some lemma arguments explicit (#4803)

Commit

5 years ago

chore(data/dfinsupp): Make some lemma arguments explicit (#4803) This file is long and this is not exhaustive, but this hits most of the simpler ones

References

Author

eric-wieser

Parents