Ejemplo n.º 1
0
 public void LoadTheoremServer(ITheoremServer theoremServer)
 {
     if (theoremServer == null)
     {
         throw new ArgumentNullException("theoremServer");
     }
     theoremServer.AppendTheorems(theoremTable);
 }