Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Hiroyuki Okazaki, Yasunari Shidama. Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*. Formalized Mathematics, 16(1-4):103-107, 2008. [doi]

Abstract

Abstract is missing.