Def Computation.parallel.aux2

Modification history

2025-04-06 04:34

Mathlib/Data/Seq/Parallel.lean

chore: move `batteries` and `plausible` back to `main` (#23689) …

Deleted Computation.parallel.aux2 View on Github →

2024-07-20 07:03

Mathlib/Data/Seq/Parallel.lean

chore(*): use ⊕ notation for `Sum` (#14934)

Modified Computation.parallel.aux2 View on Github →

2023-04-20 10:27

Mathlib/Data/Seq/Parallel.lean

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

Added Computation.parallel.aux2 View on Github →