Theorem Fintype.piFinset_subsingleton

Modification history