Theorem Fintype.piFinset_singleton

Modification history