Yes, that's correct.

    >>> from random import seed
    >>> seed(10)
    >>> seed
    <bound method Random.seed of <random.Random object at 0x24721c0>>
    >>> seed = 50
    >>> seed
    50
    >>> from random import seed
    >>> seed
    <bound method Random.seed of <random.Random object at 0x24721c0>>

(You can't get it as __builtins__.seed because it's not a builtin, but you can re-import it from random to get it back.)