Theorem Set.card_singleton_prod

Modification history

2023-12-19 12:00

Mathlib/SetTheory/Cardinal/Finite.lean

feat: Preimage of pointwise multiplication (#8956) …

Added Set.card_singleton_prod View on Github →