Commit 2025-02-06 20:37 f250f0c6

View on Github →

feat(Data/Set/Card): add ncard_le_encard (#21467)

Estimated changes

added theorem Set.ncard_le_encard