Theorem trdeg_lt_aleph0_of_finiteType

Modification history

2026-08-10 08:17
Mathlib/RingTheory/AlgebraicIndependent/TranscendenceBasis.lean
feat(FieldTheory): typeclass for field extension with finite transcendence degree (#42152) …
Added trdeg_lt_aleph0_of_finiteTypeView on Github →