Skip to content

add lemma list_in_dec

Ralf Jung requested to merge ralf/list_in_dec into master

I think this lemma is by @haidang, but it might also be by @lgaeher.

Maybe this should be an Instance? Not sure.

Merge request reports