Theorem List.formPerm_apply_lt_getElem

Modification history