Def CategoryTheory.Sheaf.Subcanonical.yonedaFullyFaithful

Modification history