Theorem Ideal.prod_bot_bot

Modification history