Theorem Fintype.total_apply

Modification history