PR #10221: doc(algebra/algebra/basic): expand the docstring

Stream: triage

[Random Issue Bot]

Today I chose PR 10221 for discussion!

doc(algebra/algebra/basic): expand the docstring
Created by @Eric Wieser (@eric-wieser) on 2021-11-08
Labels: awaiting-author, docs

Is this PR still relevant? Any recent updates? Anyone making progress?

[Eric Wieser]

I've finally got around to updating this

[Patrick Massot]

The new solution doesn't allow linking to a declaration from the overview files on the website.

[Eric Wieser]

Do you think that matters, given the user can just scroll up to the text immediately above?

[Eric Wieser]

This is now merged anyway; the docstring can of course be changed more later by someone else.