Theorem Subring.closure_insert_intCast

Modification history