Export a theorem