Theorem Fintype.piFinset_nonempty

Modification history