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