Commit 2025-07-26 22:00 61ff493f

View on Github →

feat(Data/Set): add sep_subset_setOf (#27087) which is the counterpart of sep_subset for use in term mode.

Estimated changes

added theorem Set.sep_subset_setOf