0622132人目の素数さん垢版 | 大砲2017/07/31(月) 19:48:26.01ID:dVIlvrwA >>621の続き Eq1:時枝問題(例えばR^Nに対して)の数列の同値類の設定 Lm1:時枝問題の同値類の代表列&決定番号(自然数) (A & Eq1) → Lm1