can we import jquery library from developer tools

JavaScript
var script = document.createElement('script');script.src = "https://code.jquery.com/jquery-3.4.1.min.js";document.getElementsByTagName('head')[0].appendChild(script);
Source

Also in JavaScript: