Proof

NonEmpty

ProofA

NonEmpty

partitionB

NonEmptyVector

partitionD

NonEmptyVector

peelFromEnd

NonEmptyVector

proveNES

Proof

proveNEV

Proof