diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:24:51 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:24:51 +0100 |
| commit | b7a8063be92fb6c83de1ea60ac09c49f895886ff (patch) | |
| tree | cd822f902c829087b59d24156013045bcfe48656 /.gitignore | |
| parent | 2ab0a78d642c602599f4d6a23372c0c91b9f27f0 (diff) | |
Prove more properties about thinning composition.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions