Theorem List.formPerm_cons_concat_apply_last

Modification history