Def Computation.parallel

Modification history

2026-08-25 23:31

Mathlib/Data/Seq/Parallel.lean

chore: remove some `backward.privateInPublic` by adjusting visibility (#42557) …

Modified Computation.parallel View on Github →

2023-04-20 10:27

Mathlib/Data/Seq/Parallel.lean

feat: port Data.Seq.Parallel (#3512) …

Added Computation.parallel View on Github →