Commit 2023-11-17 11:02 414c0c82

View on Github →

feat: Add Set.Nonempty.eq_zero and variations (#8423) See the Zulip thread

Estimated changes