UniMath icon indicating copy to clipboard operation
UniMath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Put headers into new files on bicategories

Open benediktahrens opened this issue 6 years ago • 1 comments

Headers should describe content and its provenance.

benediktahrens avatar Nov 20 '18 10:11 benediktahrens