Theorem Subfield.closure_iUnion

Modification history