Basic Properties of Primitive Root and Order Function

Na Ma, Xiquan Liang. Basic Properties of Primitive Root and Order Function. Formalized Mathematics, 20(4):265-269, 2012. [doi]

Abstract

Abstract is missing.