Registry · Definition II.D08 established formalized

II.D08 — Interior Bipolar Decomposition

Interior Bipolar Decomposition

Book II Part 1 Ch. 7

Dependency Graph

Depends on (2)

I.D21 II.D02

Depended on by (1)

II.P02

Lean Formalization

Module: TauLib.BookII.Interior.BipolarDecomposition

Symbol: Tau.BookII.Interior.interior_bipolar