Registry · Remark II.R10 established formalized

II.R10 — Geometric Meaning of Bipolar Idempotents

Geometric Meaning of Bipolar Idempotents

Book II Part 6 Ch. 29

Dependency Graph

Depends on (3)

I.D21 II.D33 II.D35

Lean Formalization

Module: TauLib.BookII.Hartogs.CalibratedSplitComplex

Symbol: Tau.BookII.Hartogs.geometric_meaning_check