Theorem lt_finRotate_iff_ne_neg_one

Modification history