Skip to content

feat(PhyslibAlpha/QuantumMechanics): product states of a product of finite targets - #1717

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

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

feat(PhyslibAlpha/QuantumMechanics): product states of a product of f…

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

Annotations

1 warning and 1 notice
Lean based style linters
succeeded Oct 2, 2026 in 14m 50s