% SZS status Theorem for semi__ring__accessors_
% SZS output start Proof for semi__ring__accessors_
  file('i/f/semi_ring/semi__ring__accessors_c1',ch4s_semiu_u_rings_semiu_u_ringu_u_accessorsu_c1)).
  file('i/f/semi_ring/semi__ring__accessors_c1',ah4s_semiu_u_rings_semiu_u_ringu_u_SR10)).
% SZS output end Proof for semi__ring__accessors_
