Theorem Subalgebra.transcendental_iff_transcendental_val

Modification history

2026-02-26 09:42
Mathlib/RingTheory/Algebraic/Basic.lean
chore(Mathlib/RingTheory/Algebraic/Basic.lean): automated extraction (#35801) …
Added Subalgebra.transcendental_iff_transcendental_valView on Github →