Skip to content

Don't use Z.to_nat in definition of rotate

Michael Sammler requested to merge msammler/no_Z_in_rotate into master

Merge request reports