P
Initializing...
Positivity is preserved by `ι₋`. · Prove2Me