Theorem Fintype.induction_empty_option

Modification history