Commit 2025-12-15 01:46 3ea6690c

View on Github →

feat(Data/Set/Card): ncard of complement of set is Nat.card - ncard of set (#32754)

Estimated changes

added theorem Set.ncard_compl