Two Sample t-Tests

Conceptual: Hypothesis Statements

Are the below hypothesis statements correctly written for a lower-tailed, two-sample problem?

$H_0: \mu_0 \leq \mu_1$

$H_A: \mu_0 > \mu_1$

Such that:

$\mu_0, \mu_1$ are sample means