//astronomy/io.github.cosinekitty.astronomy/Vector/plus plus operator fun plus(other: Vector): Vector Adds two vectors. Both operands must have identical times.