幸运的是;幸亏
be a good thing (that)…
to be lucky that…
It's a good thing we got here early.幸亏我们早到了这儿。
释义来自《牛津高阶英汉双解词典》第 9 版