Skip to content

feat(QuantumMechanics): Uncertainty bounds for partial linear maps#1095

Merged
jstoobysmith merged 30 commits into
leanprover-community:masterfrom
or4nge19:SchwartzCCR
May 25, 2026
Merged

feat(QuantumMechanics): Uncertainty bounds for partial linear maps#1095
jstoobysmith merged 30 commits into
leanprover-community:masterfrom
or4nge19: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