`BookProof.ChapterStatementOperator.ModelStatement.truthValue_not` : S.not.truthValue ψ = ‖ψ‖ ^ 2

Initializing...

`BookProof.ChapterStatementOperator.ModelStatement.truthValue_not` : S.not.truthValue ψ = ‖ψ‖ ^ 2 - S.truthValue ψ · Prove2Me