Vocabulary
koszul

Inputs
yan object
basis-eltan object


Outputs
i_y[basis-elt]an object


Definition