Exhaustion of real-gauge solutions by special directions
Exhaustion conjecture. The special directions exhaust all solutions compatible with real gauge structure on End (TX){\text{End}\,}(TX)End(TX).
MathDB