User:JMiall/vector.js

importScript('User:JMiall/monobook.js');

importScript('User:ProveIt GT/ProveIt.js'); // User:ProveIt GT/ProveIt.js