Theorem Prime.squarefree

Modification history

2026-01-20 16:34

Mathlib/Algebra/Squarefree/Basic.lean

chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …

Modified Prime.squarefree View on Github →

2023-03-21 21:27

Mathlib/Algebra/Squarefree.lean

feat: port Algebra.Squarefree (#3018)

Added Prime.squarefree View on Github →