mathlib3

doc(topology/basic): add a few doc strings [skip ci]

#1775

Merged