Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes