P
Initializing...
Φ ∘ Φ⁻¹ = id on arrays that vanish on the padding · Prove2Me