Documentation
equational_theories
Search
Google site search
return to top
source
Imports
Init
equational_theories.Asterix
equational_theories.CentralGroupoids
equational_theories.Closure
equational_theories.Compactness
equational_theories.Completeness
equational_theories.Confluence1
equational_theories.Confluence2
equational_theories.Confluence3
equational_theories.Confluence4
equational_theories.Conjectures
equational_theories.Counting
equational_theories.Definability
equational_theories.FiniteModel
equational_theories.FreeComm
equational_theories.FreeMagmaImplications
equational_theories.Generated
equational_theories.Homomorphisms
equational_theories.InfModel
equational_theories.LinearOps
equational_theories.MagmaOp
equational_theories.ManuallyProved
equational_theories.Obelix
equational_theories.OrderMetatheorem
equational_theories.Preorder
equational_theories.SmallMagmas
equational_theories.StringMagmas
equational_theories.Subgraph
equational_theories.ThreeC2
equational_theories.WeakCentralGroupoids
equational_theories.Z3Counterexamples
equational_theories.Duals.All
equational_theories.Equations.All
equational_theories.Equations.LawsComplete
Imported by