Theorem Fintype.piFinset_smul

Modification history