Theorem strictAntiOn_toDual_comp_iff

Modification history