Equational Theories

21 Simple rewrites

53,905 implications were automatically generated by simple rewrites.

describe the process of automatically generating these implications here.