Theorem Mathlib.Vector.get_replicate

Modification history