Theorem Vector.map₂_snoc

Modification history