confused on the requirement to use mbed.h for certain code use cases

I had came across this code which provides a different method for "delay()" on the nano ble 33 board by making use of an mbed function.

https://forum.arduino.cc/index.php?topic=638478.0

Anyway, according to mbed the wait_ms is deprecated and one should use thread_sleep_for instead.

So, I tested this with a similar program, as follows:

#include <mbed.h>
using namespace mbed;

void setup()
{
pinMode(LED_BUILTIN, OUTPUT);
}

void loop()
{
digitalWrite(LED_BUILTIN, HIGH);
thread_sleep_for(1000);
digitalWrite(LED_BUILTIN, LOW);
thread_sleep_for(1000);
}

Then, just to learn what sort of errors I might get, I commented out the "#include <mbed.h>" and the "using namespace" and to my great surprise the sketch still compiled and uploaded without error.

Does this mean that mbed.h is included by default.

Yes its included in arduino.h that is automatically included in the main Arduino program