P
Initializing...
`S⁻¹ ∘ S = id`. · Prove2Me