mathlib3
79880e86 - chore(data/fintype/intervals): `simp` `Ico_*_card` lemmas (#2271)

Commit
5 years ago
chore(data/fintype/intervals): `simp` `Ico_*_card` lemmas (#2271) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Author
Parents
Loading