Prove 3588 !-> ... and 115 !-> ... via confluence#451

Merged

teorth merged 4 commits intoteorth:mainfrom lyphyser:prove3588

Oct 10, 2024

+470-22

Commits on Oct 9, 2024

Commits on Oct 10, 2024

Add proof of 115 !-> ... via confluence
lyphyser
committed