Commit 2023-03-08 13:41 3607767c

View on Github →

feat: forward-port leanprover-community/mathlib#18489 (#2469)

Estimated changes

added theorem List.enumFrom_cons'
added theorem List.enumFrom_map
added theorem List.enum_cons'
added theorem List.enum_map