Skip to content

GitLab

Merged
Opened by Ralf Jung@jungOwner

some list lemmas

Just needed these for a proof, seems general enough.

Edited by Ralf Jung