"A manifold with boundary has dimension at least 1" if it has a dimension and if it has nonempty boundary?

I think Tu’s statement is fine:

A manifold, by definition, always has a dimension. Where are the charts going?

Usually when we say that a manifold “has boundary,” we mean that it has nonempty boundary.


After looking at some of Tu’s (non-standard!) definitions, I think you’re correct. An accurate statement might be

If an $n$-dimensional manifold has nonempty boundary, then $n\ge 1$.


Assuming sensible definitions, an alternative solution is to change the statement to the following:

A connected manifold with non-empty boundary has dimension at least 1

Edit: I rejected the suggested edit to change "manifold with non-empty boundary" to "manifold with boundary with non-empty boundary" because it does not add new information. A manifold with non-empty boundary must be a manifold with boundary, or your definitions are nonsense.