Looking at, and exploring, the Linux partition using Paragon Partition Manager, there does appear to be a folder called "Grub" within the folder called "Boot", so I assume this means it has installed?
Best phone camera 2017
Stunning new film posters by Hattie Stewart, Joe Cruz & more
iPad Pro 10.5in (2017) review
28 astuces pour profiter au mieux de votre iPhone