Skip to content

feat(QuantumMechanics): add Canonical commutation on the Schwartz submodule#1096

Open
or4nge19 wants to merge 26 commits into
leanprover-community:masterfrom
or4nge19:Uncertainty-SchwartzCCR
Open

feat(QuantumMechanics): add Canonical commutation on the Schwartz submodule#1096
or4nge19 wants to merge 26 commits into
leanprover-community:masterfrom
or4nge19:Uncertainty-SchwartzCCR

Commits

Commits on May 11, 2026

Commits on May 12, 2026

Commits on May 13, 2026

Commits on May 17, 2026

Commits on May 19, 2026

Commits on May 22, 2026