Diffusion Isabelle 24f0cd70790b

added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered…
24f0cd70790b
Actions

Tags

None

Subscribers

None

Description

added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered assumptions of Finite_Set.bex_(min|max)_element

Details

Provenance

Authored on

Parents

rISABELLEf589c50e54a0: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE24f0cd70790b: added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered….May 9 2023, 10:00 PM

Changes (3)

Path

Size

src/

HOL/

Library/

Multiset_Order.thy

rISABELLE24f0cd70790b

NEWS

Loading...

src/HOL/Finite_Set.thy

Loading...

src/HOL/Library/Multiset_Order.thy

Loading...