Theorem NonUnitalSubsemiring.toSubsemiring_toNonUnitalSubsemiring

Modification history