Generalized power series extension and triangular matrix extension of ring

• 环的广义幂级数扩张与三角矩阵扩张