Theorem IsAlgClosed.of_ringEquiv

Modification history