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

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

daaa8d8
Select commit
Loading
Failed to load commit list.

There are no checks for this commit