PanLinx: proof tree

English	eng-000
proof tree

русский	rus-000	дерево доказательства
русский	rus-000	дерево доказательства теоремы

PanLex-PanLinx