Skip to content

Changes in RBF lemmas

Kimaya Bedarkarrequested to merge
RTS/internships-2021:rbf_lemmas into master
  • Relaxed assumption in two lemmas about rbf
  • Added one new lemma about rbf

Merge request reports