Theorem Fintype.piFinset_empty

Modification history