Theorem Subfield.closure_unionᵢ

Modification history