Module:IteratedProbability/doc

This module is maintained on GitHub.