Theorem Finset.coe_singletonOneHom

Modification history