Copy js file to: wp-content/themes/child-storefront-theme/assets/js/woo-related-products-refresh-on-reload/woo-related-products-public.js
function custom_woo_related_products() {
wp_dequeue_script('woo-related-products');
wp_enqueue_script('custom-woo-related-products', get_stylesheet_directory_uri().'/assets/js/woo-related-products-refresh-on-reload/woo-related-products-public.js', array('jquery'));
}
add_action('wp_enqueue_scripts', 'custom_woo_related_products', 100);
Why 100? To be dequeued, the script must have been enqueued. Attempting to dequeue a script before the script is enqueued will have no effect.