Def CategoryTheory.Sheaf.adjunction

Modification history