Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-23 22:10 15161e96

View on Github →

docs(data/list/sigma): Add missing def dosctrings, expand module docs (#9909)

Estimated changes

modified def list.keys
modified theorem list.keys_cons
modified theorem list.keys_nil
modified def list.nodupkeys