The graph at f70bc07
227 claims · 463 moves · 28 contested · 6 lexicon entries, as the corpus stood at this commit.
Since then
195 claims added · 3 changed status · +453 moves
full diff →
full diff →
What changed after this point
c-6d8880 contested no → yes Equation (4.2) is evaluated with a pocket four hundred times wider tha
c-836f6c contested no → yes Skew and impedance budgets hold a die's order parameter below one radi
c-f1ed63 contested no → yes The Uhlmann holonomy of the ambient modular orbit is strictly finer th