Theorem List.formPerm_apply_nthLe_length

Modification history