Commit 2024-05-15 08:45 3b462daa

View on Github →

feat: Set.diff_subset_compl (#12921)

Estimated changes

added theorem Set.diff_subset_compl