Registry · Definition V.D171 tau-effective formalized

V.D171 — Blueprint fusion mathrmFuse

Blueprint fusion Fuse_omega combines two blueprints: Fuse_omega(b_1, b_2) = (chi_1^+ * chi_2^+, chi_1^- * chi_2^-), where * is the product in the boundary holonomy algebra mediated by the omega-germ. It models black hole merger at the algebraic level.

Book V Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBipolarFusion

Symbol: Tau.BookV.Cosmology.BlueprintFusionMathrmfuse