PanLinx
polski
pol-000
twierdzenie dowiedzione
Esperanto
epo-000
korolario
PanLex
