search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
232 stars 54 forks source link

Greedy 917 #853

Closed b-reinke closed 4 days ago

b-reinke commented 4 days ago

This shows 917 !=> 1629 and 917 !=> 2441 via the translation invariant construction.

I haven't shown 917 !=> 1729 or 917 !=> 2541, this was not in pdf. But we have 1729 => 1629 and 2541 => 2441. So I am removing all outgoing conjectures from 917.