Theorem Subring.closure_singleton_one

Modification history