PanLinx
polski
pol-000
twierdzenie matematyczne
CycL
art-285
MathematicalStatement
PanLex