combo_jack | Reza Jamei | Mathematics Distillation Challenge - Equational Theories - Stage1 | SAIR Foundation

Does Eq1 ({{ equation1 }}) imply Eq2 ({{ equation2 }}) over all magmas? * is an arbitrary binary operation on a set. Assume no associativity, commutativity, id...

Contributor Network · SAIR Foundation