Rock Gnomes have the following racial trait (PHB, p. 37):
Whenever you make an Intelligence (History) check related to magic items, alchemical objects, or technological devices, you can add twice your proficiency bonus, instead of any proficiency bonus you normally apply.
If I have a Rock Gnome who is proficient in History, then I normally apply my proficiency bonus to make History checks, but if the check is about, say, a magic item, I can add twice my proficiency bonus instead of just applying it once as normal. This much makes sense.
But what if my Rock Gnome isn't proficient in History? Since I don't apply any proficiency bonus normally (because I'm not proficient), I have nothing to apply instead of, like how you technically can't have more of something if you haven't had any yet. So does that mean I don't apply my proficiency bonus twice, since ordinarily I don't apply anything?
Initially I assumed that it probably means you get to treat the situation as though you are proficient in History in those circumstances (i.e. when the check is related to magic items, alchemical objects, or technological devices), but if we contrast it with a Dwarf's Stonecunning trait (PHB, p. 20):
Whenever you make an Intelligence (History) check related to the origin of stonework, you are considered proficient in the History skill and add double your proficiency bonus to the check, instead of your normal proficiency bonus.
For Stonecunning, it explicitly states that you are considered proficient in History for such checks, taking into account dwarven characters who are not proficient in History normally.
So, RAW, does the Rock Gnome trait Artificer's Lore apply when you aren't proficient in History?