Skip to content

feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace#1434

Merged
gloges merged 7 commits into
leanprover-community:masterfrom
adambornemann-glitch:feat/spacedhilbert-sobolev
Jul 23, 2026
Merged

feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace#1434
gloges merged 7 commits into
leanprover-community:masterfrom
adambornemann-glitch:feat/spacedhilbert-sobolev

remove variable from B.5. Misc

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

Annotations

1 warning
Python based linters
succeeded Jul 22, 2026 in 12s