Theorem IsPrimitiveRoot.norm'_eq_one

Modification history