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

Update Position.lean

720d75c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.