Here's the documentation:
use
[syntax] (use ID ...)
use is just a shorter alias for require-extension.
And just in case:
require-extension
[syntax] (require-extension ID ...)
This is equivalent to (require-library ID ...) but performs an implicit import,
if necessary. Since version 4.4.0, ID may also be an import specification (using
rename, only, except or prefix).
This implementation of require-extension is compliant with SRFI-55 (see the
SRFI-55 document for more information).