Theorem exists_sq_mul_squarefree

Modification history

2026-08-19 10:07
Mathlib/Algebra/Squarefree/Basic.lean
feat(Algebra/Squarefree): add exists_sq_mul_squarefree (#42319) …
Added exists_sq_mul_squarefreeView on Github →