Theorem IsAlgClosed.splits_codomain

Modification history