Theorem Fintype.piFinset_of_isEmpty

Modification history