Theorem Subfield.closure_sUnion

Modification history