HomeIsabelle/Phabricator

added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran

Description

added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran

Details

Provenance
desharnaAuthored on
Parents
rISABELLE71c45d60a90a: merged
Branches
Unknown
Tags
Unknown