% SZS status Theorem for RSUBSET__antisymmetr
% SZS output start Proof for RSUBSET__antisymmetr
  file('i/f/relation/RSUBSET__antisymmetric',ah4s_relations_antisymmetricu_u_def)).
  file('i/f/relation/RSUBSET__antisymmetric',ah4s_relations_RSUBSETu_u_ANTISYM)).
  file('i/f/relation/RSUBSET__antisymmetric',ch4s_relations_RSUBSETu_u_antisymmetric)).
% SZS output end Proof for RSUBSET__antisymmetr
