Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 2025-05-14 |
| | |||
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 |
| | |||
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
Thanks Mikolaj for discussion |