Def CategoryTheory.sheafEquivSheafOfTypes

Modification history