Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-25 01:28 264d33ec

View on Github →

docs(control/traversable/lemmas): Add module docstring (#9927)

Estimated changes

Modified docs/references.bib

Modified src/control/traversable/lemmas.lean

modified theorem traversable.id_sequence

modified theorem traversable.map_traverse

modified theorem traversable.pure_transformation_apply

modified theorem traversable.pure_traverse

modified theorem traversable.traverse_eq_map_id'

modified theorem traversable.traverse_id