Theorem Fintype.one_lt_prod

Modification history