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

Commit

3 years ago

fix(control/random): typo (#16156) Fix a small typo in the `random.lean` doc comment of `mk_generator` definition.

Author

oxarbitrage

oxarbitrage

Parents

Loading