Skip to content

Clarify duality between puncturing and shortening#413

Merged
perlinm merged 3 commits intomainfrom
puncture
Feb 15, 2026
Merged

Clarify duality between puncturing and shortening#413
perlinm merged 3 commits intomainfrom
puncture

Commits

Commits on Feb 15, 2026