diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-10 21:10:07 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-10 21:10:07 -0500 |
| commit | 89cbad6fc9abadb36103745ab650ed213f68da88 (patch) | |
| tree | 87200c7a8efb2f5b88012ddd5af68ea239ed8ccd /docs/tutorial | |
| parent | 696a38fd862b1f0115141002fb048c9786ec6eb2 (diff) | |
Define Under, with proof that structural Under is well-defined
Diffstat (limited to 'docs/tutorial')
0 files changed, 0 insertions, 0 deletions