Theorem Vector.get_zero

Modification history