PR #6516 Document why we do lower bounds

Document why we do lower bounds #6516

zanieb merged 2 commits into main from konsti/why-lower-bounds

Document why we do lower bounds

9f984b8c

konstin added documentation

konstin requested a review from

zanieb 2 years ago

zanieb assigned

zanieb 2 years ago

Edits

3c685fd6

zanieb enabled auto-merge (squash) 2 years ago

zanieb merged 4e82db09 into main 2 years ago

zanieb deleted the konsti/why-lower-bounds branch 2 years ago

Reviewers

zanieb

Assignees

zanieb

Labels

documentation

Milestone

No milestone