Theorem Vector.cons_val

Modification history