`BookProof.BrstReducedTransfer.mem_physicalStates` {x : H} : x ∈ physicalStates Om ↔ Om x = 0

Initializing...

`BookProof.BrstReducedTransfer.mem_physicalStates` {x : H} : x ∈ physicalStates Om ↔ Om x = 0 · Prove2Me