Theorem IsAlgClosed.cardinal_le_max_transcendence_basis

Modification history