Theorem UV.card_shadow_compression_le

Modification history

2023-06-05 05:24
Mathlib/Combinatorics/SetFamily/Compression/UV.lean
feat: UV-compressing reduces the size of the shadow (#4546) …
Added UV.card_shadow_compression_leView on Github →