% SZS status Theorem for semi__ring__accessors_
% SZS output start Proof for semi__ring__accessors_
  file('i/f/semi_ring/semi__ring__accessors_c0',ch4s_semiu_u_rings_semiu_u_ringu_u_accessorsu_c0)).
  file('i/f/semi_ring/semi__ring__accessors_c0',ah4s_semiu_u_rings_semiu_u_ringu_u_SR00)).
% SZS output end Proof for semi__ring__accessors_
