Skip to content

Prove normalized trailing-size and capacity formulas - #3831

Open
joshlf wants to merge 1 commit into
Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fjfrom
Gwxt5czbhuvpuqeh2moqjljsiyswi6fa2
Open

Prove normalized trailing-size and capacity formulas#3831
joshlf wants to merge 1 commit into
Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fjfrom
Gwxt5czbhuvpuqeh2moqjljsiyswi6fa2

Commits

  1. Commits on Oct 15, 2026