docs: Sage Math: fill TODO