Theorem IsPrimitiveRoot.sub_one_ne_zero

Modification history