Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-23 15:57
cc6b7ff0
View on Github →
feat:
s⁻¹.encard = s.encard
(
#19400
) From Kneser (LeanCamCombi)
Estimated changes
Modified
Mathlib/Algebra/Group/Pointwise/Set/Card.lean
added
theorem
Set.encard_inv
added
theorem
Set.encard_smul_set
added
theorem
Set.ncard_inv
added
theorem
Set.ncard_smul_set