P
Initializing...
`BookProof.ChapterWeakValue.dslit_ip_ne_zero` : ip psi0 (H *ᵥ psi0) ≠ 0 · Prove2Me