Skip to content

Prove codimension-one L/2 substitution soundness on double transversals - #39

Draft
unpaidmoon wants to merge 1 commit into
mainfrom
cursor/f7-codim-one-soundness-551f
Draft

Prove codimension-one L/2 substitution soundness on double transversals#39
unpaidmoon wants to merge 1 commit into
mainfrom
cursor/f7-codim-one-soundness-551f

Commits

  1. Commits on Oct 20, 2026