Previous  Up  

Module Matrix.Functor.Labeled.L'

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