Mathlib v3 is deprecated. Go to Mathlib v4

Def prime

Modification history

2020-08-11 09:57

src/algebra/associated.lean

refactor(algebra/divisibility, associated): generalize instances in divisibility, associated (#3714) …

Modified prime View on Github →

2018-10-18 09:43

ring_theory/associated.lean

feat(ring_theory): prove principal_ideal_domain is unique factorization domain

Added prime View on Github →