Theorem IsTranscendenceBasis.of_comp

Modification history

2025-05-19 06:33

Mathlib/RingTheory/AlgebraicIndependent/Basic.lean

feat: miscellaneous lemmas about transcendence bases (#24344)

Added IsTranscendenceBasis.of_comp View on Github →