Zulip Chat Archive
Stream: new members
Topic: Dense range comp left
Matias Heikkilä (Jun 14 2025 at 15:39):
Hi, I opened up a small PR. This a one line helper lemma I could not find using loogle. Feedback welcome!
Kenny Lau (Jun 14 2025 at 16:47):
@Matias Heikkilä #PR reviews
Last updated: Dec 20 2025 at 21:32 UTC