Hola.
Es es una función aplicada a una función:
Definition term4 := fun (f: (A -> B) -> C) (g: A -> B) => f g.
Check term4. (* ((A -> B) -> C) -> (A -> B) -> C *)
Saludos, Carlos
Hola.
Es es una función aplicada a una función:
Definition term4 := fun (f: (A -> B) -> C) (g: A -> B) => f g.
Check term4. (* ((A -> B) -> C) -> (A -> B) -> C *)
Saludos, Carlos