mathlib3
27e7f7ac - feat(number_theory/divisors): add `filter_dvd_eq_proper_divisors` (#14049)

Commit

3 years ago

feat(number_theory/divisors): add `filter_dvd_eq_proper_divisors` (#14049) Adds `filter_dvd_eq_proper_divisors` and golfs `filter_dvd_eq_divisors` and a few other lemmas

Author

stuart-presnell

Parents

3b185739

mathlib3 27e7f7ac - feat(number_theory/divisors): add `filter_dvd_eq_proper_divisors` (#14049)

mathlib3
27e7f7ac - feat(number_theory/divisors): add `filter_dvd_eq_proper_divisors` (#14049)