Original: With the German defeat in the Battle of Britain, Sea Lion was postponed indefinitely on 17 September 1940 and never carried out.
Simplified: With the German defreat in the Battle of Britain, the operation was put off on 17 September 1940 and never became real.