mathlib3

841bb751 - Merge branch 'adomani_s_and_sos' into adomani_add_closure