Theorem coe_finRotate_of_ne_last

Modification history