Commit 2024-06-09 15:54 5808ec5b

View on Github →

feat: add List.iterate_add (#13257)

Estimated changes

added theorem List.iterate_add
added theorem List.take_iterate
added theorem List.take_range