projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: add4d47) | patch
add special case of ni_respects where one side is exactly equal
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 5 Apr 2011 06:32:52 +0000 (06:32 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 5 Apr 2011 06:32:52 +0000 (06:32 +0000)
commite6eee3c9787855479899acb82cb65f9cdd0259c6
tree58eff37010cd28ee084fc19515f4895aee8f0462tree | snapshot
parentadd4d471e2d188c62bddbdaa21380ee5904bdedccommit | diff
add special case of ni_respects where one side is exactly equal
src/NaturalIsomorphisms_ch7_5.v diff | blob | history
formalization of basic category theory in Coq