V-alg-d(ZZ)
@alg_d
実体であることと順序付け可能であることは同値(Artin-Schreier) #選択公理ちゃんマジ公理 #kansaimath #kansaimath303
2016-03-20 12:58:33