Theorem Set.cast_ncard_sdiff

Modification history

2024-11-28 13:32
Mathlib/Data/Set/Card.lean
feat: `(t \ s).ncard = t.ncard - s.ncard` in a ring (#19407) …
Added Set.cast_ncard_sdiffView on Github →