Theorem IsAlgClosure.of_splits

Modification history