Skip to content

forest: some minor doc fixes#400

Merged
james-d-mitchell merged 1 commit intolibsemigroups:stable-1.4from
james-d-mitchell:update-forest-doc
Mar 12, 2026
Merged

forest: some minor doc fixes#400
james-d-mitchell merged 1 commit intolibsemigroups:stable-1.4from
james-d-mitchell:update-forest-doc

Commits

Commits on Mar 12, 2026