Mathlib v3 is deprecated. Go to Mathlib v4

Def test_prop_class

Modification history

2020-07-31 16:13

test/simps.lean

fix(tactic/simps): do not reach unreachable code (#3637) …

Added test_prop_class View on Github →