cpp/concepts/derived from

The concept is satisfied if and only if  is a class type that is either  or a public and unambiguous base of, ignoring cv-qualifiers.

Note that this behavior is different to when  is a private or protected base of.