Theorem isRoot_of_unity_iff

Modification history