mathlib3
d79f6f3c - feat(data/finset/basic): simp `to_finset_eq_empty` (#13531)

Commit

4 years ago

feat(data/finset/basic): simp `to_finset_eq_empty` (#13531)

Author

vihdzp

vihdzp

Parents

Loading