Theorem Subring.closure_singleton_natCast

Modification history