Documentation
LeanPool
.
ConwayRefinement
.
ConwayRefinement
.
LinearAlgebra
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.ConwayRefinement.LinearAlgebra.AlgebraicIndependentDet
LeanPool.ConwayRefinement.ConwayRefinement.LinearAlgebra.FiniteSpanRelation
LeanPool.ConwayRefinement.ConwayRefinement.LinearAlgebra.IndicatorFinsupp
LeanPool.ConwayRefinement.ConwayRefinement.LinearAlgebra.TensorProduct
Imported by
Supporting modules for Conway refinement for omnific integers.