Logipedia
definition
sttfa:leibniz/eq.def
theorem
sttfa:leibniz/refl.thm
sttfa:leibniz/trans.thm