Theorem Vector.prod_set

Modification history