Theorem starConvex_iff_forall_ne_pos

Modification history