Proposition 3.21 (06UX)
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:0805.0157v5
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:0805.0157v5