P
Initializing...
`ι₋` is multiplicative for the twisted product. · Prove2Me