Mon, 20 Mar 2023 15:02:17 +0100 | desharna | refactored proofs | changeset | files |
Mon, 20 Mar 2023 15:01:59 +0100 | desharna | added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element | changeset | files |
Mon, 20 Mar 2023 15:01:12 +0100 | desharna | reversed import dependency between Relation and Finite_Set; and move theorems around | changeset | files |