Theorem Fintype.univ_unit

Modification history