Commit 2022-03-24 05:18 ae695782
View on Github →fix(ring_theory/algebraic): Make is_transcendental_of_subsingleton
fully general (#12870)
I mistyped a single letter.
fix(ring_theory/algebraic): Make is_transcendental_of_subsingleton
fully general (#12870)
I mistyped a single letter.