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

13.3. Лемма

В согласованной системе любое множество унаследованных ключей является проекцией для ВС, сопряжённой с соответствующим узлом. █

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