Theorem Subsemiring.sumSq_toNonUnitalSubsemiring

Modification history