Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-25 18:48 a7faaf53

View on Github →

docs(data/list/chain): add module docstring (#8041)

Estimated changes

modified theorem list.chain'_split
modified theorem list.chain_of_pairwise
modified theorem list.chain_split