ノート:チャーチ・ロッサーの定理

リダイレクト化

たった1行ですし、合流性へのリダイレクトでいいのでは？とりあえずソフトリダイレクトとかいうのがあるみたいなのでそうしておきました。 --Meniv（会話） 2013年6月28日 (金) 01:41 (UTC)