Skip to content

Clarify and test the whole-plane holomorphic contract - #43

Merged
isomorphisms merged 2 commits into
mainfrom
audit/whole-plane-mathematical-contract
Sep 17, 2026
Merged

isomorphisms merged 2 commits into
mainfrom
audit/whole-plane-mathematical-contract

Qualify the entire-logarithm quotient statement

196b567
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
unit-tests
succeeded Sep 8, 2026 in 6s