-- Useful for importing
open import Algebra.Instances.VecAbGroup
open import Rational.Literals

-- Normalize a matrix of integers
open import MatrixNormalization.normLinesInteger
-- Normalize a matrix of a field and proved that vector space is preserved
open import MatrixNormalization.normLinesField
-- Examples of normalization of a matrix of rational numbers
open import Examples

open import MatrixFuncNormalization.MainTheo

open import SystemEquations.UniqueSolution

open import MatrixFuncNormalization.LinearIndependence