Theorem CategoryTheory.GrothendieckTopology.PreservesSheafification.transport

Modification history