diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 19:51:11 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 19:51:11 +0100 |
| commit | 38b838eeb2bc9c150883b3f5e7f215697943296b (patch) | |
| tree | 7e06b012face7732285edb1a4a76bc9ada33be91 /functorproof.txt | |
| parent | 8384a1f7c01009ed125efee8e617da2da1f4b774 (diff) | |
Remove 'forget'
Diffstat (limited to 'functorproof.txt')
0 files changed, 0 insertions, 0 deletions