Theorem is_bot_of_dual_iff

Modification history