Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test.eval_default_one

Modification history

2020-06-22 18:22

test/pi_simp.lean

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

Added test.eval_default_one View on Github →