author | Adam Megacz <adam@megacz.com> | |
Sun, 11 May 2014 00:46:41 +0000 (17:46 -0700) | ||
committer | Adam Megacz <adam@megacz.com> | |
Sun, 11 May 2014 00:46:41 +0000 (17:46 -0700) | ||
commit | 5929a28895c9e8a12f3b60abf024a455ebe11e4c | |
tree | 0827e2e53bd22456142eea543ca5bf303f953f8a | tree | snapshot |
parent | b18f84ae40af08b3df0214593f4e4eb0665cdf7d | commit | diff |
src/ReificationsIsomorphicToGeneralizedArrows.v | diff | blob | history |