872コメント231KB

圏論 / カテゴリー論 / Category Theory 3

■ このスレッドは過去ログ倉庫に格納されています

0865１３２人目の素数さん

2010/03/27(土) 08:30:04

yes
下も成り立つ（等号と代入の性質による）

■ このスレッドは過去ログ倉庫に格納されています