P
Initializing...
Sub-goal 3 for all finite E677 magmas implies E255 (product transport) · Prove2Me