Commit 2021-09-07 11:06 58a88539

View on Github →

doc(data/list/*): Add missing documentation (#8867) Fixing the missing module docstrings in data/list, as well as documenting some defs and theorems.

Estimated changes

Modified src/data/list/alist.lean

Modified src/data/list/func.lean

Modified src/data/list/of_fn.lean

modified theorem list.length_of_fn_aux

modified theorem list.nth_of_fn_aux

Modified src/data/list/perm.lean

Modified src/data/list/sigma.lean