projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 24 Apr 2011 07:00:24 +0000 (00:00 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 24 Apr 2011 07:00:24 +0000 (00:00 -0700) | ||
| commit | 422dab8d300548c294b95c0f4bbf27aecadbd745 | |
| tree | c77afc7c4f0c5f2d6c870057bebfce38b89282a9 | tree | snapshot |
| parent | 0ecd73c172f67634fa956fb52b332e6effb5a04d | commit | diff |
| src/NaturalIsomorphisms_ch7_5.v | diff | blob | history |