Automorphism extension: an involution preserving the colours on $W$ and the colour degrees of $v$ preserves the colour of the pair with $e \notin W$

Initializing...

Automorphism extension: an involution preserving the colours on $W$ and the colour degrees of $v$ preserves the colour of the pair with $e \notin W$ · Prove2Me