kariroggstrong-robertson-conjecture-for-split-off-minors0.1.0

Formalization of Oddomorphisms, Split-Off Minors, and the Strong Roberson Conjecture, a result from Arnar Ágúst Kristjánsson
Sort by
  1. Local path dependency.
    Not found on Reservoir.

    mathlib0.0.0