Registry · Definition VI.D46 tau-effective planned

VI.D46 — Consumer Mixer on (γ, η)

Full subcategory of Loop_L with nontrivial winding along both fiber generators γ and η; the unique mixed sector coupling production and recycling.

Book VI Part 6 Ch. 33

Lean Formalization

Module:

Symbol: