Theorem Rat.sq_mul_squarefree_unique

Modification history

2026-10-21 19:58
Mathlib/Data/Rat/Squarefree.lean
feat(Algebra/QuadraticAlgebra): classify quadratic algebras over ℚ (#42393) …
Added Rat.sq_mul_squarefree_uniqueView on Github →