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

11.15. Лемма

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

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