Вы можете использовать рекурсию, если хотите реализовать это самостоятельно.
2 списка имеют одинаковый размер, если они оба пусты. Они имеют разный размер, если один пуст, а другой нет. И если ни одно из этих утверждений не соответствует действительности, они имеют такое же сравнение размеров, что и списки без одного элемента (то есть их cdr
-s)