Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-06-04 14:48 542d25d6

View on Github →

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

Estimated changes

modified theorem classical.some_spec2