% SZS status Theorem for semi__ring__accessors_
% SZS output start Proof for semi__ring__accessors_
  file('i/f/semi_ring/semi__ring__accessors_c2',ch4s_semiu_u_rings_semiu_u_ringu_u_accessorsu_c2)).
  file('i/f/semi_ring/semi__ring__accessors_c2',ah4s_semiu_u_rings_semiu_u_ringu_u_SRP0)).
% SZS output end Proof for semi__ring__accessors_
