feat: deleteEdges via edge-filter Finset = deleteEdges via Set — #2965#2987

phasetr merged 2 commits into

mainphasetr/ising-model:mainfrom

feat/deleteEdges-filter-eq-2965phasetr/ising-model:feat/deleteEdges-filter-eq-2965Copy head branch name to clipboard