Commit 2026-08-12 08:59 fad8a153

View on Github →

feat(Data/Finset): insert a (s.erase a) = insert a s (#40775)

Estimated changes

modified theorem Finset.insert_erase