% SZS status Theorem for PREIMAGE__DISJOI
% SZS output start Proof for PREIMAGE__DISJOI
  file('i/f/util_prob/PREIMAGE__DISJOINT',ah4s_predu_u_sets_DISJOINTu_u_DEF)).
  file('i/f/util_prob/PREIMAGE__DISJOINT',ah4s_utilu_u_probs_PREIMAGEu_u_INTER)).
  file('i/f/util_prob/PREIMAGE__DISJOINT',ch4s_utilu_u_probs_PREIMAGEu_u_DISJOINT)).
  file('i/f/util_prob/PREIMAGE__DISJOINT',ah4s_utilu_u_probs_PREIMAGEu_u_EMPTY)).
  file('i/f/util_prob/PREIMAGE__DISJOINT',ah4s_bools_TRUTH)).
  file('i/f/util_prob/PREIMAGE__DISJOINT',aHLu_BOOLu_CASES)).
  file('i/f/util_prob/PREIMAGE__DISJOINT',aHLu_FALSITY)).
% SZS output end Proof for PREIMAGE__DISJOI
