Theorem IsAlgClosed.exists_root

Modification history