☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (14)
flt-regular
Proof of Kaplanski criterion for being a UFD in Lean4
Kaplanski criterion for being a UFD
Proof of Kaplanski criterion for being a UFD in Lean4