Theorem TopCat.Sheaf.objSupIsoProdEqLocus_inv_eq_iff

Modification history