Diagonalization of continuous matrices as a representation of intuitionistic reals.评价结果

评估详情