Mathlib v3 is deprecated. Go to Mathlib v4

Structure prefix_projection_names.equiv

Modification history

2021-05-26 08:25
test/simps.lean
feat(tactic/simps): implement prefix names (#7596) …
Added prefix_projection_names.equivView on Github →