A few function descriptions contain multiple \requires elements. I think there should be only one that lists all preconditions. that's the way it is in most of the standard.

[new.delete.single] void operator delete(void* ptr) noexcept;
[new.delete.single] void operator delete(void* ptr, const std::nothrow_t&) noexcept;
[new.delete.array] void operator delete[](void* ptr) noexcept;
[new.delete.array] void operator delete[](void* ptr, const std::nothrow_t&) noexcept;