StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 5,123

  1. …in reply to @sbagley
    @sbagley Great use of the contrapositive here: it's practically a one-liner to show that a_n<A and L>A implies a_n -/> L.