A publication is a record fixed at the moment it is archived — it never changes again,
even when the science moves. The registry is the living version; the Library is what you cite.
WHAT THIS IS. An independent reproduction, with a strengthened certificate, of a result first obtained by Brierley and Weigert in 2009. It is not a new theorem. We state that at the top because we did not know it when we ran the...