Shaddaaa
Results
4
comments of
Shaddaaa
Thank you, that makes everything much much nicer. I am unsure whether my choice of name for the lemmas is sensible, I tried to adhere the naming convention but I...
All done, thank you!
Oh sorry, I am still getting used to how github PRs/suggestions etc work. It should be fixed now. -awaiting-author