変なエラーだ

11:35 AM

普通だったらDのconform Aはこのextensionに書きそうなパターンだね (edited)

11:36 AM

これ自体が正当なのかはよくわからないけど・・・,