Theorem strictConvex_uIoc

Modification history