Theorem CategoryTheory.Sheaf.isSheafFor_trans

Modification history