Theorem is_bot_to_dual_iff

Modification history