Theorem Vector.get_set_eq_if

Modification history