Theorem IsAlgClosed.cardinal_eq_cardinal_transcendence_basis_of_aleph0_lt

Modification history