Theorem Subring.closure_union

Modification history