diff --git a/pkgs/racket-doc/scribblings/reference/procedures.scrbl b/pkgs/racket-doc/scribblings/reference/procedures.scrbl index 87f5d93da1..9815a5a6e2 100644 --- a/pkgs/racket-doc/scribblings/reference/procedures.scrbl +++ b/pkgs/racket-doc/scribblings/reference/procedures.scrbl @@ -708,7 +708,6 @@ and @racket[(equal? (normalize-arity a) (normalize-arity b))]. (arity=? 1 (list 1)) (arity=? 1 (arity-at-least 1)) (arity=? (arity-at-least 1) 1) -(arity=? 1 (arity-at-least 1)) (arity=? (arity-at-least 1) (list 1 (arity-at-least 2))) (arity=? (list 1 (arity-at-least 2)) (arity-at-least 1)) (arity=? (arity-at-least 1) (list 1 (arity-at-least 3))) @@ -732,7 +731,6 @@ arguments that procedures with arity @racket[b] accept. (arity-includes? 1 (list 1)) (arity-includes? 1 (arity-at-least 1)) (arity-includes? (arity-at-least 1) 1) -(arity-includes? 1 (arity-at-least 1)) (arity-includes? (arity-at-least 1) (list 1 (arity-at-least 2))) (arity-includes? (list 1 (arity-at-least 2)) (arity-at-least 1)) (arity-includes? (arity-at-least 1) (list 1 (arity-at-least 3)))