theorem Th61: :: RFUNCT_3:61

id ([#] REAL) is_convex_on REAL