Theorem IsAlgClosed.ringEquiv_of_equiv_of_charZero

Modification history

2024-12-20 11:33
Mathlib/FieldTheory/IsAlgClosed/Classification.lean
chore(IsAlgClosed/Classification): make theorems more universe polymorphic (#18434)
Added IsAlgClosed.ringEquiv_of_equiv_of_charZeroView on Github →