Theorem Subring.closure_singleton_zero

Modification history