Skip to content

GitLab

Merged
Opened by Ralf Jung@jungOwner

add some big_opS lemmas

All proofs taken from Perennial (but I adjusted the names).