fix(control/random): typo (#16156)
fix(control/random): typo (#16156)

Fix a small typo in the `random.lean` doc comment of `mk_generator` definition.





leanprover-community/mathlib,leanprover-community/mathlib