添加新标签
酉算子群

_

group of unitary operators
Warning: Not approved!