Theorem Vector.length_val

Modification history