Theorem Cycle.formPerm_coe

Modification history