Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-23 13:03 58869614

View on Github →

feat(data/{nat,list}/basic): Add some trivial lemmas (#4738)

Estimated changes

added theorem list.prod_inv
added theorem list.prod_inv_reverse