The graph at e23267d
225 claims · 460 moves · 28 contested · 6 lexicon entries, as the corpus stood at this commit.
Since then
197 claims added · 3 changed status · +456 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