Skip to content

fix: make Proposition 9.4.9 a Verso docstring#598

Open
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/section-9-4-prop-9-4-9-verso
Open

fix: make Proposition 9.4.9 a Verso docstring#598
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/section-9-4-prop-9-4-9-verso

fix: make Proposition 9.4.9 a Verso docstring

903cacd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jul 18, 2026 in 8m 56s