agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Add definition of ethane

Open szumixie opened this issue 3 years ago • 0 comments

szumixie avatar Aug 17 '22 19:08 szumixie