Require Znumtheory before using it#60

CohenCyril merged 2 commits into

math-comp:mastermath-comp/mczify:masterfrom

andres-erbsen:patch-1andres-erbsen/mczify:patch-1Copy head branch name to clipboard