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

    1. …in reply to @ProfKinyon
      @ProfKinyon I've actually presented it this way once upon a time. (Well, the δ(ε) thing.) I don't remember how I felt about how it went...
  1. …in reply to @StevenXClontz
    @ProfKinyon Oh now I remember. I just used the usual quantifier based definition, but notated δ as δ_ε to emphasize that it's a function of ε. I would do it again.