`BookProof.ChapterScaledDotProduct.card_signPatterns` : Fintype.card (Fin d → Bool) = 2 ^ d

Initializing...

`BookProof.ChapterScaledDotProduct.card_signPatterns` : Fintype.card (Fin d → Bool) = 2 ^ d · Prove2Me