Prove the properties about lists in the safety proof #68
Description
Currently, the safety proof relies on some farily obvious properties of lists that are still to be proved. We shall fill this gap by proving these properties.
{{ message }}
Currently, the safety proof relies on some farily obvious properties of lists that are still to be proved. We shall fill this gap by proving these properties.