Theorem CategoryTheory.Sheaf.sheaf_for_finestTopology

Modification history