The main issue with Win32/bitrep.a. is the fact that criminals and botnets are pushing this to remote mine on machines.
So there is no real way to determine who is using it legit and who is pushing it onto machines to mine off the radar.
I would double check your systems to make sure there is nothing else lurking there and possibly check the security on your machines.
If you scan the file on
www.virustotal.com and post the results I can have a check to see that it is indeed the original file or if its been modified.
Your machine should be ok I would just ignore the defender warning if you are sure you downloaded the miner from a legitimate source and trust the vendor.
If not remove it recover the machine wipe the drive and start again..