Commit 2024-08-22 00:46 25040ca7

View on Github →

feat(Data/Finsupp/Defs): generalize Finsupp.apply_single (#16042)

Estimated changes

added theorem Finsupp.apply_single'
modified theorem Finsupp.apply_single