collapse docstrings in documentation by default #2121
Description
I think we need to do the same as in Oscar, to not get something like https://docs.oscar-system.org/dev/Nemo/algebraic/.
{{ message }}
I think we need to do the same as in Oscar, to not get something like https://docs.oscar-system.org/dev/Nemo/algebraic/.