Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-23 16:41 d7084898

View on Github →

adapt to Lean changes

Estimated changes

modified def pSet.resp.eval_val