P
Initializing...
The two twin-welded forbidden relations are equivalent (Remark 2.2 (2)) · Prove2Me