「直観主義型理論」の変更履歴

ナビゲーションに移動 検索に移動

差分の選択: 比較したい版のラジオボタンを選択し、Enterキーを押すか、下部のボタンを押します。
凡例: (最新)＝最新版との比較、(前)＝直前の版との比較、細＝細部の編集

2024年9月12日 (木)

  • 最新前 00:072024年9月12日 (木) 00:07 imported>Bcxfubot 細 9,088バイト +9,088 外部リンクの修正 http:// -> https:// (math.ucr.edu) (Botによる編集)
「https://ja.wiki.beta.math.wmflabs.org/wiki/直観主義型理論」から取得