Theorem Compactum.continuous_of_hom

Modification history