P
Initializing...
`BookProof.ChapterScaledDotProduct.sgn_not` (b : Bool) : sgn (!b) = -sgn b · Prove2Me