Theorem differentIdeal_ne_bot

Modification history

2025-06-09 15:24

Mathlib/RingTheory/DedekindDomain/Different.lean

feat(RingTheory/DedekindDomain): unramified primes does not divide differential (#25589)

Added differentIdeal_ne_bot View on Github →