Registry · Proposition V.P207 tau-effective not_formalized

V.P207 — Twistor embedding of tau

Twistor embedding of tau^3 in projective twistor space

Book V Part 7 Ch. 64

Dependency Graph

Depends on (1)