Theorem Fintype.piFinset_eq_empty

Modification history