mathlib

8dba2e47 - add involutive_star for proper_cone