Mathlib v3 is deprecated. Go to Mathlib v4

Def my_type_def

Modification history

2021-01-04 23:56
test/simps.lean
feat(tactic/simps): some improvements (#5541) …
Added my_type_defView on Github →