diff options
Diffstat (limited to 'theories/Program/Combinators.v')
| -rw-r--r-- | theories/Program/Combinators.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Program/Combinators.v b/theories/Program/Combinators.v index 33ad3b556c..e12f57668c 100644 --- a/theories/Program/Combinators.v +++ b/theories/Program/Combinators.v @@ -34,7 +34,7 @@ Proof. symmetry ; apply eta_expansion. Qed. -Lemma compose_assoc : forall A B C D (f : A -> B) (g : B -> C) (h : C -> D), +Lemma compose_assoc : forall A B C D (f : A -> B) (g : B -> C) (h : C -> D), h ∘ g ∘ f = h ∘ (g ∘ f). Proof. intros. |