Theorem List.formPerm_pow_apply_get

Modification history