Theorem Set.ncard_smul_set

Modification history

2024-11-23 15:57
Mathlib/Algebra/Group/Pointwise/Set/Card.lean
feat: `s⁻¹.encard = s.encard` (#19400) …
Added Set.ncard_smul_setView on Github →