Commit 2020-09-21 06:08 40f582b9
View on Github →feat(data/*/nat_antidiagonal): induction lemmas about antidiagonals (#4193)
Adds a nat.antidiagonal_succ lemma for list, multiset, and finset, useful for proving facts about power series derivatives