Mathlib v3 is deprecated. Go to Mathlib v4

Def test.eval_default

Modification history

2022-01-09 18:06

test/pi_simp.lean

chore(*): update to 3.37.0c (#11325) …

Modified test.eval_default View on Github →

2020-06-22 18:22

test/pi_simp.lean

fix(algebra/pi_instances): improve definitions of `pi.*` (#3116) …

Added test.eval_default View on Github →