P
Initializing...
E677 implies E255 for finite magmas · Prove2Me