Theorem is_top_to_dual_iff

Modification history