Theorem is_top_of_dual_iff

Modification history