Skip to content

list lookup lemmas: cons, singleton

Ralf Jung requested 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