Theorem Mathlib.Vector.prod_set'

Modification history