| Sat, 20 May 2023 14:48:06 +0200 | wenzelm | prefer static simpset; | changeset | files |
| Sat, 20 May 2023 14:12:01 +0200 | wenzelm | omit pointless morphism in global theory; | changeset | files |
| Sat, 20 May 2023 12:04:41 +0200 | wenzelm | more operations; | changeset | files |