P
Initializing...
The locus `{a_n = 0} ∪ {disc = 0}` is Haar-null. · Prove2Me