会社のPCではてなツールバーがバグるようになったので*1使わなくなったら、ここにほとんどアクセスしなくなってしまいました。 UIって重要。 *1:業務用のPCに入れるな、という話もありますが:p すいません会社の人。

全称記号は省きますが、 ところで [tex:xx^{-1}=(1x)x^{-1}=(((x^{-1})^{-1}x^{-1})x)x^{-1} =*1x^{-1}] となるので、結局 よって そうなのか、逆元の公理ってかたっぽだけでいいのか…うーん（イマイチ納得できていない） 追記：ためしに公理の方（単位元、…