Theorem List.formPerm_apply_nthLe_zero

Modification history