(interior) ( y basis-elt -- i_y[basis-elt] )


Vocabulary
koszul

Inputs
yan object
basis-eltan object


Outputs
i_y[basis-elt]an object


Definition