Theorem Fintype.univ_pempty

Modification history