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

Published 20 hours ago • verified publisher icon CategoricalData

Prove theorems in theories/ExponentialLaws/Law4/Law.v

Open JasonGross opened this issue 12 years ago • 0 comments
trafficstars

JasonGross avatar Sep 27 '13 14:09 JasonGross