Mathlib v3 is deprecated. Go to Mathlib v4

Def projection_rule

Modification history

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