dominators: Add module short description and tweak notation
dominators: Add module short description and tweak notation

Use a more mathematical notation for mathematics.

bluss/petulant-avenger-graphlibrary,petgraph/petgraph