Commit 2023-08-21 15:17 134b6cb8
View on Github →chore: small generalization of finsupp lemmas (#6700) Noticed whilst doing my other PR about char_zero. Leaves statements that create data alone.
chore: small generalization of finsupp lemmas (#6700) Noticed whilst doing my other PR about char_zero. Leaves statements that create data alone.