Theorem Nat.sq_mul_squarefree

Modification history

2026-08-19 10:07
Mathlib/Data/Nat/Squarefree.lean
feat(Algebra/Squarefree): add exists_sq_mul_squarefree (#42319) …
Deleted Nat.sq_mul_squarefreeView on Github →
2023-05-25 17:58
Mathlib/Data/Nat/Squarefree.lean
feat: port Data.Nat.Squarefree (#4278)
Added Nat.sq_mul_squarefreeView on Github →