Theorem starConvex_iff_forall_pos

Modification history