def ImportGraph.List.prependWithoutDuplicating {α : Type u_1} [BEq α] (as bs : List α) : List α

Essentially (as ++ bs).deleteDuplicatesRev, keeping later-occurring elements.

Equations

• One or more equations did not get rendered due to their size.
• ImportGraph.List.prependWithoutDuplicating [] bs = bs