Theorem Prod.is_bot_iff

Modification history