Theorem CategoryTheory.Sheaf.isSheafFor_bind

Modification history