Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.nat.antidiagonal_congr

Modification history

2021-03-10 02:23
src/data/finset/nat_antidiagonal.lean
feat(number_theory/bernoulli): bernoulli_power_series (#6456) …
Added finset.nat.antidiagonal_congrView on Github →