Wed, 12 Apr 2023 10:42:23 +0200 | wenzelm | performance tuning: proper pointer_eq; | changeset | files |
Thu, 13 Apr 2023 14:54:03 +0200 | desharna | added lemmas multpHO_repeat_mset_repeat_mset[simp] and multpHO_double_double[simp] | changeset | files |
Thu, 13 Apr 2023 09:53:37 +0200 | desharna | merged | changeset | files |