Registry · Remark I.R41 established not_applicable

I.R41 — PolStream Aperiodicity

PolStream has no eventual period: periodicity would contradict either infinitude of both polarity classes or crossing-point uniqueness.

Book I Part 7 Ch. 29

Dependency Graph

Depends on (2)

I.D104 I.T05

Lean Formalization

Module:

Symbol: