Tue, 07 Jun 2022 17:53:33 +0200 | desharna | merged | changeset | files |
Sat, 04 Jun 2022 17:58:08 +0200 | desharna | added lemmas reflp_on_Inf and reflp_on_Sup | changeset | files |
Sat, 04 Jun 2022 17:48:58 +0200 | desharna | replaced HOL.implies by Pure.imp in reflp_mono for consistency with other lemmas | changeset | files |