Skip to content
GitLab

Don't use Z.to_nat in definition of rotate

Merged Michael Sammler requested to merge msammler/no_Z_in_rotate into master