The original projective density equals the route-F one: the two numerator events differ only inside `{a_n = 0} ∪ {disc = 0}`, which is Haar-null.

Initializing...

The original projective density equals the route-F one: the two numerator events differ only inside `{a_n = 0} ∪ {disc = 0}`, which is Haar-null. · Prove2Me