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.

Estimated changes