Theorem DvdNotUnit.not_isUnit

Modification history

2026-08-06 01:28
Mathlib/Algebra/Prime/Lemmas.lean
chore: rename some lemmas containing `not_unit` (#42386)
Added DvdNotUnit.not_isUnitView on Github →