Theorem IsRadical.squarefree

Modification history

2024-02-12 20:59

Mathlib/Algebra/Squarefree/Basic.lean

feat: introduce `IsRelPrime` and `DecompositionMonoid` and refactor (#10327) …

Modified IsRadical.squarefree View on Github →

2023-03-21 21:27

Mathlib/Algebra/Squarefree.lean

feat: port Algebra.Squarefree (#3018)

Added IsRadical.squarefree View on Github →