Лемма 12.15
Содержание (FireFox,Safari)

12.15. Лемма

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

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