Theorem Finset.piecewise_same

Modification history