Library Stdlib.Array.ArrayAxioms

From Corelib Require Export ArrayAxioms.