Theorem Fintype.univ_ofIsEmpty

Modification history