加载中…
We give short proofs of two \v{S}emrl’s descriptions of order automorphisms of the effect algebra. This sheds new light on both formulas that look quite complicated. Our proofs rely on Moln'{a}r’s characterization of order automorphisms of the cone of all positive operators.

生成讲解博客的中文版本

生成AI智能校验的中文版本