Theorem ConcaveOn.average_mem_hypograph

Modification history