Theorem UpperSet.bot_prod_bot

Modification history