Skip to content

add lookup_take_Some

Ralf Jung requested to merge ralf/lookup_take_Some into master

another bit from Simuliris, original proof by @msammler

Edited by Ralf Jung

Merge request reports