Theorem Filter.bot_prod

Modification history