e/Dinitz conjecture

Information
has gloss	eng: In combinatorics, the Dinitz conjecture is a statement about the extension of arrays to partial Latin squares, proposed in 1979 by Jeff Dinitz, and proved in 1994 by Fred Galvin.
lexicalization	eng: Dinitz conjecture
instance of	(noun) a square matrix of n rows and columns; cells contain n different symbols so arranged that no symbol occurs more than once in any row or column Latin square