Multi Dist of cast
multiDist_of_cast
Plain-language statement
Multidistance is unchanged when a finite family of random variables is reindexed along an equality . This says that the quantity depends on the family, not on the particular equal presentation of its finite index type.
Source project: Polynomial Freiman-Ruzsa project
Person-level attribution pending.