Def Random.randBound

Modification history

2023-12-12 07:55
Mathlib/Control/Random.lean
feat(Mathlib/Control/Random): enhance to a monad transformer (#8876) …
Modified Random.randBoundView on Github →
2023-07-19 05:37
Mathlib/Control/Random.lean
chore: cleanup whitespace (#5988) …
Modified Random.randBoundView on Github →
2022-10-10 21:29
Mathlib/Control/Random.lean
chore: long lines (#460)
Modified Random.randBoundView on Github →
2022-03-08 09:05
Mathlib/Control/Random.lean
feat: Implement Control.Random without streams (#218)
Added Random.randBoundView on Github →