The unimodular part of an exponential has order dividing m exactly when m·Im v lies in πℤ

Initializing...

The unimodular part of an exponential has order dividing m exactly when m·Im v lies in πℤ · Prove2Me