gdeleva

Hi @Scinawa. You meant Lemmas 17-19, right? Can I work on that if nobody is currently preparing any PR for that? If yes, where exactly in the appendix should I...

@Scinawa Thanks. Sure, feel free to assign it to me. I will try to submit a PR in the next few days. If recommended, I will create an account in...

@Scinawa Sure. Let me know how I can reach out to you. I am ready to submit a PR, but I guess I would first need to have specific access...

@Scinawa Thanks. I submitted a PR and sent an email. Looking forward to your feedback.