Theorem CategoryTheory.GrothendieckTopology.isoToPlus_inv

Modification history