Theorem Subring.closure_singleton_intCast

Modification history