Skip to content

Prove rounded inverse injectivity from eight owner residues (no κ) - #7192

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1111b-native-obstruction
Open

Prove rounded inverse injectivity from eight owner residues (no κ)#7192
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1111b-native-obstruction

feat(research): prove eight-owner rounded inverse injectivity

3cb3220
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 48s