Theorem NonUnitalSubring.toSubring_toNonUnitalSubring

Modification history