Today I learned that the module builtins grows dynamically in the REPL.
builtins
The only way to learn mathematics is to do mathematics.