mathlib3

542d25d6 - fix(data/logic/basic): Use a Sort for classical.some_spec2 (#1111)