Theorem Set.encard_prod

Modification history

2025-10-02 16:21
Mathlib/Data/Set/Card.lean
feat(Set): generalize Set.(e)ncard_prod (#30128) …
Modified Set.encard_prodView on Github →
2025-03-17 08:40
Mathlib/Data/Set/Card.lean
feat(Data/Set/Card): Encard multiplication (#22676)
Added Set.encard_prodView on Github →