3 ms·A verified algorithm for finding the intersection point of two lists3 points by alex_muscar 4y ago