Theorem FinTrdeg.of_isTranscendenceBasis

Modification history

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