Def Top.presheaf.sheaf_condition_equalizer_products.pi_opens.iso_of_open_embedding

Modification history