Theorem IsFractionRing.exists_sq_mul_squarefree

Modification history

2026-10-21 19:58
Mathlib/RingTheory/Localization/NumDen.lean
feat(Algebra/QuadraticAlgebra): classify quadratic algebras over ℚ (#42393) …
Added IsFractionRing.exists_sq_mul_squarefreeView on Github →