Theorem Subsemiring.prod_top

Modification history