% SZS status Theorem for DE__MOIVRE__T
% SZS output start Proof for DE__MOIVRE__T
  file('i/f/complex/DE__MOIVRE__THM',ch4s_complexs_DEu_u_MOIVREu_u_THM)).
  file('i/f/complex/DE__MOIVRE__THM',ah4s_complexs_DEu_u_MOIVREu_u_LEMMA)).
  file('i/f/complex/DE__MOIVRE__THM',ah4s_complexs_COMPLEXu_u_POWu_u_L)).
% SZS output end Proof for DE__MOIVRE__T
