Registry · Definition II.D23 established formalized

II.D23 — Approximation Sequence

Approximation Sequence

Book II Part 4 Ch. 22

Dependency Graph

Depends on (2)

II.D13 II.D14

Lean Formalization

Module: TauLib.BookII.Geometry.OrthodoxBridge

Symbol: approx_seq