Registry · Proposition
IV.P281
tau-effective
not_formalized
IV.P281 — Extra Cross-Couplings from Multiplicative Closure
The three remaining cross-couplings follow from multiplicative closure: align (B, D) &= (B; 2) (D; 1)^2
Book IV
Part 8
Ch. 67