(logic, mathematics) Is equivalent to; implies and is implied by; is true and false in the same cases as. / (by extension, informal) If, with added intensity

At the time of an event, contingent on that event happening at all.