Theorem Vector.map₂_comm

Modification history