玛丽·卡辛 Mnacho Echenim公司 埃尔维吉他 哈恩和乔丹分解定理。 2021 2021 架构（architecture）。正式证明 https://www.isa-afp.org/entries/Hahn_Jordan_Decomposition.html db/journals/afp/afp2021.html#CousinEG21