P
Initializing...
`BookProof.ChapterScaledDotProduct.sgn_mul_self` (b : Bool) : sgn b * sgn b = 1 · Prove2Me