P
Initializing...
`†` is an anti-homomorphism of the twisted product. · Prove2Me