Registry · Theorem VI.T26 tau-effective planned

VI.T26 — Sex as Second Distinction

Sexual reproduction refines τ-Distinction by introducing secondary self/other-self classification within self-class; re-entry via fusion creates new carrier.

Book VI Part 6 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: