Theorem finRotate_last

Modification history