Module garoupa.algebra.matrix.fullm