Theorem Subring.top_prod_top

Modification history