Fixed a mis-identified precondition that doesn't always hold relating to #11#12

Merged

rhliang merged 2 commits intomainfrom

Aug 28, 2025

Commits on Aug 28, 2025

Fixed a mis-identified precondition that doesn't always hold.
Richard Liang
committed
Fixed up a docstring's formatting.
Richard Liang
committed