Skip to content

feat: prove theorem 6.7 - #59

Open
Komyyy wants to merge 2 commits into
RemyDegenne:masterfrom
Komyyy:theorem6.7
Open

feat: prove theorem 6.7#59
Komyyy wants to merge 2 commits into
RemyDegenne:masterfrom
Komyyy:theorem6.7

Commits

Commits on Jan 11, 2026