Theorem Subsemiring.mem_sumSq

Modification history