「順序型」の変更履歴

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

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

2025年1月16日 (木)

  • 最新前 08:202025年1月16日 (木) 08:20 imported>Kobeyamate 細 10,231バイト +10,231 2か所 形→型へ、全順序集合同士の "形" を比較するために.type(α, ∈α) の形で表すことが→全順序集合同士の "型" を比較するために.type(α, ∈α) の型で表すことが
「https://ja.wiki.beta.math.wmflabs.org/wiki/順序型」から取得