Mathlib v3 is deprecated. Go to Mathlib v4

Def applicative_transformation.id_transformation

Modification history

2020-10-06 10:22

src/control/traversable/basic.lean

chore(control/traversable/{basic,equiv,instances,lemmas}): linting (#4444) …

Added applicative_transformation.id_transformation View on Github →