Mathlib v3 is deprecated. Go to Mathlib v4

Def specify.specify4

Modification history

2019-11-04 15:02
test/simps.lean
feat(simps): allow the user to specify the projections (#1630) …
Added specify.specify4View on Github →