UniMath icon indicating copy to clipboard operation
UniMath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Split the file DisplayedCats/BinProducts

Open nmvdw opened this issue 2 years ago • 0 comments

It is becoming too big, and it should be split into smaller independent files.

nmvdw avatar Jun 05 '23 09:06 nmvdw