Haines's refinement for triangles with sums of minuscule weights
Haines's refinement. The assumption that one vertex of TTT is special can be replaced by
MathDB