Theorem finRotate_zero

Modification history