Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.congrm_fun_1

Modification history

2022-07-18 17:22
src/tactic/congrm.lean
feat(tactic/congrm): add "function underscores" to `congrm` (#14532) …
Added tactic.congrm_fun_1View on Github →