Theorem FirstOrder.Language.Hom.toFun_eq_coe

Modification history