Theorem Subring.top_prod

Modification history