Logipedia
theorem
sttfa:excluded__middle/thm_0.thm
sttfa:excluded__middle/EXCLUDED_MIDDLE.thm