Theorem List.formPerm_pow_apply_getElem

Modification history