I mean this:
>>> d = {a : a ** 2 for a in range(7)}
>>> d
{0: 0, 1: 1, 2: 4, 3: 9, 4: 16, 5: 25, 6: 36}
I managed to find these resources:
- http://docs.python.org/py3k/tutorial/datastructures.html?highlight=dict%20comprehension
- http://www.python.org/dev/peps/pep-0274/
These seem to be just tutorials; I want to find it in the documentation itself.