Theorem Subring.closure_insert_natCast

Modification history