Theorem isDedekindDomainInv_iff

Modification history

2023-06-05 16:53

Mathlib/RingTheory/DedekindDomain/Ideal.lean

feat: port RingTheory.DedekindDomain.Ideal (#4630) …

Added isDedekindDomainInv_iff View on Github →