Theorem Fintype.total_apply_single

Modification history