Theorem Finset.slice_union_shadow_falling_succ

Modification history