Theorem IsAlgClosed.cardinal_le_max_transcendence_basis'

Modification history

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