Theorem Finset.singletonOneHom_apply

Modification history