Commit 2022-10-20 11:19 f5138420

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.