Theorem Set.card_prod_singleton

Modification history

2023-12-19 12:00

Mathlib/SetTheory/Cardinal/Finite.lean

feat: Preimage of pointwise multiplication (#8956) …

Added Set.card_prod_singleton View on Github →