mathlib3

ae695782 - fix(ring_theory/algebraic): Make `is_transcendental_of_subsingleton` fully general (#12870)