Theorem Cycle.formPerm_apply_mem_eq_next

Modification history