Theorem Subsemiring.coe_sumSq

Modification history