The product of upper/lower triangular matrices is upper/lower triangular.

Created over 8 years ago, updated 2 months ago