% SZS status Theorem for METRIC__ISM
% SZS output start Proof for METRIC__ISM
  file('i/f/topology/METRIC__ISMET',ah4s_topologys_metricu_u_tybiju_c0)).
  file('i/f/topology/METRIC__ISMET',ah4s_topologys_metricu_u_tybiju_c1)).
  file('i/f/topology/METRIC__ISMET',ch4s_topologys_METRICu_u_ISMET)).
% SZS output end Proof for METRIC__ISM
