Vocabulary
koszul

Inputs
xan object
yan object


Outputs
i_y[x]an object


Definition