Theorem StrictConcaveOn.ae_eq_const_or_lt_map_average

Modification history