Commit 2020-10-28 18:09 80ffad0c
View on Github →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
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