The computed capacitance acts as `z ↦ z + (M⁻¹ Δ z)|_J` up to `λ(2w+1) δ Z` (`cap_apply`)

Initializing...

The computed capacitance acts as `z ↦ z + (M⁻¹ Δ z)|_J` up to `λ(2w+1) δ Z` (`cap_apply`) · Prove2Me