Def Top.presheaf.is_limit_opens_le_equiv_generate₁

Modification history