Skip to content

inductive を定義するとき、where を省略しない #1160

inductive を定義するとき、where を省略しない

inductive を定義するとき、where を省略しない #1160