Merge branch 'ralf/list_in_dec' into 'master'
add lemma list_in_dec See merge request !319
No related branches found
No related tags found
Loading
Please register or sign in to comment
add lemma list_in_dec See merge request !319