Skip to content

feat: PhyslibAlpha/QuantumMechanics: operators on one coordinate of a product of finite targets - #1699

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-finite-target-product
Oct 2, 2026
Merged

jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-finite-target-product

feat(PhyslibAlpha/QuantumMechanics): operators on one coordinate of a…

815b47e
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 Oct 1, 2026 in 4s