Theorem IsTranscendenceBasis.cardinalMk_eq

Modification history

2025-04-22 14:20

Mathlib/RingTheory/AlgebraicIndependent/TranscendenceBasis.lean

feat(Algebra): transcendence degree is well-defined (#23539) …

Added IsTranscendenceBasis.cardinalMk_eq View on Github →