Theorem IsTranscendenceBasis.of_comp_algebraMap

Modification history

2025-05-19 06:33
Mathlib/RingTheory/AlgebraicIndependent/Basic.lean
feat: miscellaneous lemmas about transcendence bases (#24344)
Added IsTranscendenceBasis.of_comp_algebraMapView on Github →