Theorem Fintype.piFinset_smul_finset

Modification history