Skip to content

docs(QuantumMechanics): add Hilbert space tensor product API-map - #1512

Merged
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
gloges:hilbert-space-api
Aug 12, 2026
Merged

docs(QuantumMechanics): add Hilbert space tensor product API-map#1512
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
gloges:hilbert-space-api

fix import order

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

Annotations

1 warning
Python based linters
succeeded Aug 12, 2026 in 12s