mathlib
7beb7cef - feat(algebra/squarefree): squarefree iff no square irreducible divisors

Commit

4 years ago

feat(algebra/squarefree): squarefree iff no square irreducible divisors

Author

b-mehta

b-mehta

Parents

Loading