Array.v: remove extraneous premise from updN_first_comm
Array.v: remove extraneous premise from updN_first_comm

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl