fabian/veribase-idr2 - Change XNMLOZPY2VS5RTP4CO2MN3LSOHL7UGGWO7MPI5ARMYFS5EJMLGOAC

Created by Fabián Heredia Montiel on May 26, 2021

XNMLOZPY2VS5RTP4CO2MN3LSOHL7UGGWO7MPI5ARMYFS5EJMLGOAC

main

B:BD[2.291] → [2.291:432]

  proofComposition : (f : t (a -> b)) -> (g : t (b -> c)) -> (x : t a)
                   ->  ((pure (.) <*> g) <*> f) <*> x = g <*> f <*> x

[2.596]

  proofComposition : (f : t (a -> b)) -> (g : t (b -> c)) -> (x : t a)
                   ->  ((pure Builtin.(.) <*> g) <*> f) <*> x = g <*> f <*> x