Corollary 2.4 (063Q)
This historical source tag has no accepted author-source occurrence binding. Its original registry entry is preserved; no statement or proof has been inferred.
Original source: arXiv:1206.5522v6
This historical source tag has no accepted author-source occurrence binding. Its original registry entry is preserved; no statement or proof has been inferred.
Original source: arXiv:1206.5522v6