From: Adam Megacz <adam@megacz.com>
Date: Sun, 27 Mar 2011 19:22:12 +0000 (-0700)
Subject: add SurjectiveEnrichment to SMME
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=758bf2a48a733870dca601e5b03390d4271ad1c7;hp=758bf2a48a733870dca601e5b03390d4271ad1c7

add SurjectiveEnrichment to SMME
---