Documentation

LeanPool.Monlib4.LinearAlgebra.Coalgebra

Imports

Init
LeanPool.Monlib4.LinearAlgebra.Coalgebra.FiniteDimensional
LeanPool.Monlib4.LinearAlgebra.Coalgebra.Lemmas
LeanPool.Monlib4.LinearAlgebra.Coalgebra.MulOpposite

Imported by

Coalgebra #

Import-only index for the LinearAlgebra/Coalgebra directory of the monlib4 import.