Def Random.randFin

Modification history

2023-12-12 07:55
Mathlib/Control/Random.lean
feat(Mathlib/Control/Random): enhance to a monad transformer (#8876) …
Modified Random.randFinView on Github →
2022-03-08 09:05
Mathlib/Control/Random.lean
feat: Implement Control.Random without streams (#218)
Added Random.randFinView on Github →