HomeIsabelle/Phabricator

added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element

Description

added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element

Details

Provenance
desharnaAuthored on
Parents
rISABELLEf35cbb4da88a: refactored proofs
Branches
Unknown
Tags
Unknown