Commit 2024-03-14 01:34 18ecf71e

View on Github →

feat: add lemma Finsupp.erase_apply (#11242) Adds a lemma

Estimated changes

added theorem Finsupp.erase_apply