Skip to content

GitLab

Closed
Created by Robbert Krebbers@robbertkrebbersMaintainer

Fix name duplication `elem_of_list_singleton` in Iris and std++

See !403 (comment 47923)

Edited by Ralf Jung