Skip to content

New helper lemma about RBF

Kimaya Bedarkarrequested to merge
RTS/internships-2021:new_rbf_lemma into master
  • Added a lemma for proving rbf at \varepsilon is more than 0. This is a general fact which can be used in the fifo rta to simplify a proof
  • Changed 1 to \varepsilon in one of the existing RBF lemmas for uniformity
Edited by Kimaya Bedarkar

Merge request reports