Def nonZeroDivisors

Modification history

2023-08-10 19:52

Mathlib/RingTheory/NonZeroDivisors.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified nonZeroDivisors View on Github →

2023-02-12 15:02

Mathlib/RingTheory/NonZeroDivisors.lean

chore: tidy various files (#2236)

Modified nonZeroDivisors View on Github →

2023-01-20 18:12

Mathlib/RingTheory/NonZeroDivisors.lean

feat: port RingTheory.NonZeroDivisors (#1717)

Added nonZeroDivisors View on Github →