Commit 2026-10-27 22:35 8c2622f0
View on Github →chore(Data/Set): restore subset_image_symmDiff (#45216)
This lemma was accidentally deleted in #40184.
chore(Data/Set): restore subset_image_symmDiff (#45216)
This lemma was accidentally deleted in #40184.