Theorem Subring.toNonUnitalSubring_toSubring

Modification history