Skip to content
Snippets Groups Projects

Don't use Z.to_nat in definition of rotate

Merged Michael Sammler requested to merge msammler/no_Z_in_rotate into master
Compare changes
  • Side-by-side
  • Inline
Files
2
Loading