Theorem Subsemiring.top_prod_top

Modification history