HoTT-categories icon indicating copy to clipboard operation
HoTT-categories copied to clipboard

Published 20 hours ago • verified publisher icon CategoricalData

Port AdjointPointwise.v from catdb

Open JasonGross opened this issue 12 years ago • 0 comments

JasonGross avatar Nov 16 '13 12:11 JasonGross