mathlib

f5138420 - chore(algebra/squarefree): rename `squarefree_of_dvd_of_squarefree` for dot notation (#17071)

chore(algebra/squarefree): rename `squarefree_of_dvd_of_squarefree` for dot notation (#17071) As suggested in #16999, this name is quite long and should get dot notation. I'm not totally convinced by the name but can't come up with a better one myself at the moment. Co-authored-by: Anne Baanen <t.baanen@vu.nl> Co-authored-by: Thomas Browning <tb65536@users.noreply.github.com>