Theorem CoheytingHom.toFun_eq_coe_aux

Modification history