Theorem Subring.closure_insert_one

Modification history