diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-20 16:37:23 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-20 16:37:23 +0000 |
| commit | 45d209baf8bf1091b14393ad985278b324bcb547 (patch) | |
| tree | fb55828ae655c7158d36dc02a45f95e893d76dec /src/runtime/javascript | |
| parent | 3d8b7f9850bd88c96f0a43c7ebb17554543ee5e1 (diff) | |
two theorems every iso is mono and every iso is epi
Diffstat (limited to 'src/runtime/javascript')
0 files changed, 0 insertions, 0 deletions