Theorem Set.powersetCard.mem_ofFinEmb_iff_mem_range

Modification history

2026-02-12 04:48
Mathlib/Data/Set/PowersetCard.lean
chore: separate basic API for `Set.powersetCard` (#35068) …
Added Set.powersetCard.mem_ofFinEmb_iff_mem_rangeView on Github →