Registry · Definition
IV.D547
tau-effective
not_formalized
IV.D547 — Pseudo-Dense Coverage
A character path on T^2 is pseudo-dense if: equation (R) = T^2 equation
Book IV
Part 5
Ch. 38
A character path on T^2 is pseudo-dense if: equation (R) = T^2 equation