Theorem finRotate_succ_apply

Modification history