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

12.19. Лемма

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

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