Skip to content

refactor(tensor-network): place reusable lemmas beside their models - #2009

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
refactor/tensor-network-lemma-homes-949
Oct 31, 2026
Merged

SamuelSchlesinger merged 1 commit into
mainfrom
refactor/tensor-network-lemma-homes-949

refactor(tensor-network): place reusable lemmas beside their models

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

Annotations

1 notice
check-title
succeeded Oct 31, 2026 in 3s