Theorem IsIntegralClosure.rank

Modification history

2023-06-20 23:35

Mathlib/RingTheory/DedekindDomain/IntegralClosure.lean

feat: port RingTheory.DedekindDomain.IntegralClosure (#5304)

Added IsIntegralClosure.rank View on Github →