module
Algebra.MatrixData
where
open
import
Algebra.MatrixData.Base
public