These tag classes specify whether
algorithms and other users of a matrix (represented as an mdspan)
access the
upper triangle (upper_triangle_t) or
lower triangle (lower_triangle_t)
of the matrix (see also [linalg.general]).
This is also subject to the restrictions of implicit_unit_diagonal_t
if that tag is also used as a function argument; see below.