Mathlib v3 is deprecated. Go to Mathlib v4

Structure manual_projection_names.equiv

Modification history

2020-10-27 14:39
test/simps.lean
feat(tactic/simps): user-provided names for projections (#4663) …
Added manual_projection_names.equivView on Github →