Theorem TopCat.Opens.coverDense_inducedFunctor

Modification history