Theorem IsAlgClosed.isAlgClosure_of_transcendence_basis

Modification history