Theorem Mathlib.Vector.get_ofFn

Modification history