Theorem not_irreducible_of_not_unit_dvdNotUnit
Modification history
2024-10-25 12:58
Mathlib/Algebra/Associated/Basic.lean
chore(Algebra/Associated): split off Prime and Irreducible (#18224) …
Modified not_irreducible_of_not_unit_dvdNotUnitView on Github →