16/09/14 16:47:16.92 0iDsebHn.net
>>569
>>574の
>だが、標準的な全射は全単射ではない。
は
>そして、標準的な全射は全単射で「ある」。
と訂正。定義から自然に従うな。>>557や>>562と同様にして示せる。
16/09/14 16:47:16.92 0iDsebHn.net
>>569
>>574の
>だが、標準的な全射は全単射ではない。
は
>そして、標準的な全射は全単射で「ある」。
と訂正。定義から自然に従うな。>>557や>>562と同様にして示せる。