Mathlib v3 is deprecated. Go to Mathlib v4

Structure needs_prop_class

Modification history

2020-07-31 16:13
test/simps.lean
fix(tactic/simps): do not reach unreachable code (#3637) …
Added needs_prop_classView on Github →