TypeTheory icon indicating copy to clipboard operation
TypeTheory copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Rename identifiers for categories to adhere to convention suggested by VV

Open benediktahrens opened this issue 7 years ago • 0 comments

see https://github.com/UniMath/UniMath/issues/362#issuecomment-225556634

benediktahrens avatar May 04 '17 11:05 benediktahrens