(Dg X D?) is the projection that “eliminates” the (k + l)—th component and pr2 : (DISC X Dé'H) —> (Dig X D?) similarly “eliminates” the last one.
確定! 回上一頁