Theorem Finset.falling_zero_subset

Modification history