P
Initializing...
Every structure is bi-embeddable with a reduct along a renaming · Prove2Me