Theorem UV.shadow_compression_subset_compression_shadow

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.shadow_compression_subset_compression_shadowView on Github →