Function prop::fun::eq_app_comp

pub fn eq_app_comp<F: Prop, G: Prop, X: Prop>(
) -> Eq<App<G, App<F, X>>, App<Comp<G, F>, X>>

(g . f)(x) == g(f(x)).