Verify and fix math rigor: density matrix errors, Landauer inconsistency, missing proof and equations files#22

blackboxprogramming merged 2 commits intomainblackboxprogramming/simulation-theory:mainfrom

copilot/verify-math-rigorouslyblackboxprogramming/simulation-theory:copilot/verify-math-rigorouslyCopy head branch name to clipboard