`BookProof.ChapterStatementOperator.ModelStatement.truthValue_mem_unitInterval` (hψ : ‖ψ‖ = 1) : S.truthValue ψ ∈ Set.Icc (0 : ℝ) 1

Initializing...

`BookProof.ChapterStatementOperator.ModelStatement.truthValue_mem_unitInterval` (hψ : ‖ψ‖ = 1) : S.truthValue ψ ∈ Set.Icc (0 : ℝ) 1 · Prove2Me