Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tactic.norm_num.finset.mk_congr

Modification history

2022-08-16 16:11
src/algebra/big_operators/norm_num.lean
refactor(data/finset/fin): Delete `finset.fin_range` (#15538) …
Added tactic.norm_num.finset.mk_congrView on Github →