Theorem Prime.not_isUnit

Modification history

2026-08-03 08:56
Mathlib/Algebra/Prime/Defs.lean
chore: rename `Prime.not_unit` to `Prime.not_isUnit` (#42385)
Added Prime.not_isUnitView on Github →