Theorem transcendental_iff_injective

Modification history

2024-07-15 08:59
Mathlib/RingTheory/Algebraic.lean
feat(RingTheory/Algebraic): define `Algebra.Transcendental` and some lemmas (#14710) …
Added transcendental_iff_injectiveView on Github →