Skip to content

feat(QuantumMechanics): Hamiltonian and related operators of the Pöschl-Teller system - #1651

Open
KevorkianPhilippe wants to merge 4 commits into
leanprover-community:masterfrom
KevorkianPhilippe:poschl-teller-1
Open

KevorkianPhilippe wants to merge 4 commits into
leanprover-community:masterfrom
KevorkianPhilippe:poschl-teller-1

Merge remote-tracking branch 'origin/master' into poschl-teller-1

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Sep 25, 2026 in 5s