remove product description

Hi Tom, I’m trying to format my product pages in WooCommerce. The tab says “Description” and then under that it says “Product Description”. Rather redundant. I’d like to remove “Product Description” but I can’t find the file that it’s in. Would appreciate any help locating it. Many thanks!