Theorem CategoryTheory.GrothendieckTopology.diagramNatTrans_zero

Modification history