Theorem coe_finRotate

Modification history