misc.py: Remove lazy_import from sage.misc.verbose, deprecated in #17815 (2020)

Commit

1 year ago

src/sage/misc/misc.py: Remove lazy_import from sage.misc.verbose, deprecated in #17815 (2020)

References

Author

mkoeppe

Committer

mkoeppe

Parents