Registry · Proposition
II.P01
established
formalized
II.P01 — Lemniscate as Coordinate Limit
Lemniscate as Coordinate Limit
Book II
Part 1
Ch. 5
Dependency Graph
Depends on (3)
Lean Formalization
Module: TauLib.BookII.Interior.OmegaReadout
Symbol: Tau.BookII.Interior.lemniscate_compat