Лемма 11.4В.2
Содержание (FireFox,Safari)

11.19. Лемма

Каркас SKELi+1, построенный алгоритмом 11.4.В, связан с SKELi элементарным шагом типа В, а значит, является его К-проекцией. █

Назад Вперёд
ru/en