mathlib3
feat(data/list/rotate): rotate right
#16538
Open
Overview
Commits
12
Changes
View On GitHub

feat(data/list/rotate): rotate right #16538

BoltonBailey wants to merge 12 commits into master from BoltonBailey/rotate-right
BoltonBailey
BoltonBailey initial commit
47311e9f
BoltonBailey BoltonBailey added WIP
BoltonBailey remove def
89e91156
BoltonBailey make int rotate the rotate
7778cb01
BoltonBailey change other rotates to match
961291be
BoltonBailey restore old rotate as rotatel
bdbef77c
BoltonBailey fix comment
e2b8ce47
BoltonBailey fix line too long
f0a54ef1
BoltonBailey
BoltonBailey more work
6ef8aa69
BoltonBailey
BoltonBailey progress
fff12d41
BoltonBailey more progress
de52f1d2
BoltonBailey progress
8d7a7759
BoltonBailey AI experimenting
c57cf8d3
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
WIP too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum