Mathlib v3 is deprecated. Go to Mathlib v4

Def specify.specify5

Modification history

2021-01-04 23:56
test/simps.lean
feat(tactic/simps): some improvements (#5541) …
Deleted specify.specify5View on Github →
2019-11-04 15:02
test/simps.lean
feat(simps): allow the user to specify the projections (#1630) …
Added specify.specify5View on Github →