Registry · Definition VI.D33 tau-effective planned

VI.D33 — Membrane as Lemniscate Boundary

Bilayer = L = S¹ ∨ S¹; two leaflets (outer=non-self, inner=self), wedge point=hydrophobic core, selective permeability. First physical distinction.

Book VI Part 3 Ch. 21

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: