Documentation
equational_theories
Search
Google site search
return to top
source
Imports
Init
equational_theories.AllEquations
equational_theories.CentralGroupoids
equational_theories.Compactness
equational_theories.Completeness
equational_theories.Confluence
equational_theories.Counting
equational_theories.FactsSyntaxExamples
equational_theories.FreeComm
equational_theories.FreeMagmaImplications
equational_theories.Generated
equational_theories.Homomorphisms
equational_theories.InfModel
equational_theories.LinearOps
equational_theories.MagmaOp
equational_theories.OrderMetatheorem
equational_theories.Preorder
equational_theories.SmallMagmas
equational_theories.StringMagmas
equational_theories.Subgraph
equational_theories.Z3Counterexamples
Imported by