Registry · Definition IV.D432 tau-effective not_formalized

IV.D432 — Character Path

A character path on T^2 is a trajectory R T^2 given by: equation (t) = (_2(t), _3(t))

Book IV Part 5 Ch. 38