diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-05-08 19:42:41 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-05-08 19:42:41 +0200 |
| commit | e0fea5a2063f6babc496f593dbb05f8814bddc67 (patch) | |
| tree | ce9c16edd2a55d7385551a5e55afb30f2be95e61 /stamp.sh | |
| parent | 29fb1dc0cb80c83f071079009ba487720685f05a (diff) | |
More general proposition 3.18
Diffstat (limited to 'stamp.sh')
0 files changed, 0 insertions, 0 deletions