Mnacho Echenim公司 🌐
2022年7月18日
通勤_终端-AFP
@第{条通勤_终止-AFP,作者={Mnacho Echenim},title={两两交换厄米矩阵的同时对角化},journal={正式证据存档},月={7月},年份={2022},注意={\url{https://isa-afp.org/entries/Commuting_Hermitian.html},形式证明开发},ISSN={2150-914x},}
旧版本: