Theorem lt_finRotate_iff_ne_last

Modification history