Theorem CategoryTheory.GrothendieckTopology.toPlus_naturality

Modification history