Degree formula for realization spaces of matrix multiplication varieties
Realization-space degree conjecture.