Skip to content

list lookup lemmas: cons, singleton

Ralf Jungrequested to merge
ralf/list-lookup into master

I was quite surprised to not find lemmas like this when I just was looking for them...

Merge request reports