PanLinx
English
eng-000
law-equivalence lemma
PanLex