Theorem Subring.closure_insert_zero

Modification history