Registry · Proposition IV.P278 tau-effective not_formalized

IV.P278 — ρ-Generator Properties

The -generator has the following structural properties: enumerate It acts on the _- lobe of L = S^1 S^1, It...

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (1)