(defmath): Add `doc-string' decl. Add docstring.