Theorem CategoryTheory.GrothendieckTopology.plus_hom_ext

Modification history