Theorem Finset.IsAntichain.disjoint_slice_shadow_falling

Modification history