Mathlib v3 is deprecated. Go to Mathlib v4

Structure applicative_transformation

Modification history

2018-07-24 16:33

category/traversable/basic.lean

feat(category/traversable): basic classes for traversable collections

Added applicative_transformation View on Github →