Theorem IsAlgClosed.of_exists_root

Modification history