Skip to content

chore: Add sorry'ed definitions for rotate_{left/right} #1706

chore: Add sorry'ed definitions for rotate_{left/right}

chore: Add sorry'ed definitions for rotate_{left/right} #1706

diff_lean_files

succeeded Jan 20, 2025 in 2s