Theorem trdeg_eq_zero_of_not_injective

Modification history

2025-04-06 17:49
Mathlib/RingTheory/AlgebraicIndependent/Basic.lean
feat(Algebra): Transcendence degree (#20887) …
Added trdeg_eq_zero_of_not_injectiveView on Github →