Mathlib v3 is deprecated. Go to Mathlib v4

Def prefix_projection_names.equiv.simps.symm_apply

Modification history

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