dev_tools.py (find_objects_from_name): Document parameter include_lazy_imports

Commit

2 years ago

src/sage/misc/dev_tools.py (find_objects_from_name): Document parameter include_lazy_imports

References

Author

mkoeppe

Parents