Mathlib v3 is deprecated. Go to Mathlib v4

Def list.many

Modification history

2020-08-04 16:33

src/data/list/defs.lean

feat(data/list/defs): add monadic versions of list.{find,any,all,bor,band} (#3679) …

Added list.many View on Github →