Theorem Mathlib.Vector.prod_set

Modification history