Def Top.presheaf.sheaf_condition_equalizer_products.pi_inters.iso_of_open_embedding

Modification history