Up  Next

Module Matrix.Functor.Labeled.L

module L: Matrix.Functor.M.Labeled(X)