Theorem Finset.sized_falling

Modification history